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
|
|