Up
–
Module_type_subst
»
Basic
» with_
Module type
Basic.with_
module
type
T
=
s