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