functor (M1 : Comparable) (M2 : Comparable->
  sig
    type t = M1.t * M2.t
    val compare :
      Reins.Types.Mono.ComparablePair.t ->
      Reins.Types.Mono.ComparablePair.t -> int
    val to_string : Reins.Types.Mono.ComparablePair.t -> string
  end