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