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