Up
–
Module_type_subst
»
Basic
» a
Module type
Basic.a
module
type
b
=
s
module
M
:
b