Up
–
Module_type_subst
»
Basic
» with_2
Module type
Basic.with_2
module
type
T
=
sig
...
end
module
M
:
T