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