Functor Tuple.Make

module Make (T1 : sigtype t 

end)  (T2 : sigtype t 

end) : sig .. end

Parameters:

`T1`	:	`sig type t end`
`T2`	:	`sig type t end`

type t = T1.t * Tuple.T2.t