Up
–
odoc
»
Odoc_examples
»
Expansion
»
DeepEquality
» MODTYPE
Module type
DeepEquality.MODTYPE
module
X
:
SIG
module
Y
:
SIG