Up
–
Index
»
Module_type_subst
»
Basic
»
u
» T
Module type
u.T