Up
–
Module_type_subst
»
Structural
»
u
»
a
» b
Module type
a.b
module
type
c
=
sig
...
end