Up
–
Module_type_subst
»
Basic
»
u2
» T
Module type
u2.T