Up
–
odoc
»
Odoc_examples
»
Expansion
»
DeepEquality2
» M
Module
DeepEquality2.M
module
X
:
sig
...
end
module
Y
:
sig
...
end