Up
–
odoc
»
odoc_examples
»
Odoc_examples
»
Expansion
»
ModuleTypeOfComplications
»
T
» Z
Module type
T.Z
type
t
=
X1.t