lascar.utils
Stringable.Triplet
lascar
module M1 : T
module M2 : T
module M3 : T
include T with type t = M1.t * M2.t * M3.t
type t = M1.t * M2.t * M3.t
val to_string : t -> string
val mk : M1.t -> M2.t -> M3.t -> t