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