module Make: functor (T1 : sigtype t end) -> functor (T2 : sigtype t end) -> sig .. end
functor (
T1
:
sig
type t
end
) ->
T2
sig type t end
type t = T1.t * Tuple.T2.t
T1.t * Tuple.T2.t