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