Functor Container.Check

module Check: 
functor (T : T.T1) ->
functor (Elt : T.T1) ->
functor (M : Generic with type 'a t := 'a T.t with type 'a elt := 'a Elt.t) -> sig .. end
Parameters:
T : T.T1
Elt : T.T1
M : Generic with type 'a t := 'a T.t with type 'a elt := 'a Elt.t