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