Up
–
Index
» Module_type_of
Module
Module_type_of
module
type
S
=
sig
...
end
module
X
:
sig
...
end
module
T
:
S
with
module
M
=
X