Up
–
odoc
»
odoc_examples
»
Odoc_examples
»
Resolution
»
Complicated_1
» C
Module
Complicated_1.C
module
M
=
B
module
N
:
M.S
with
type
t
= int