Up
–
odoc
»
odoc_examples
»
Odoc_examples
»
Resolution
»
Complicated_1
»
C
» N
Module
C.N
type
t
= int