sig type t val partial_cmp : Comparison.PARTIAL_ORD.t -> Comparison.PARTIAL_ORD.t -> Comparison.comparison end