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