functor (P : Poly.Comparable) ->
  functor (M : Comparable) ->
    sig
      type t = M.t P.t
      val compare :
        Reins.Types.Mono.ComposeComparable.t ->
        Reins.Types.Mono.ComposeComparable.t -> int
      val to_string : Reins.Types.Mono.ComposeComparable.t -> string
    end