Up
–
odoc
»
odoc_examples
»
Odoc_examples
»
Expansion
»
ModuleTypeOfComplications
»
S
» Z
Module type
S.Z
type
t
=
X.t