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