functor (M1 : Comparable) ->
  functor (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