module NonnegInt: sig .. end
sig
end
type t = {{t}}
{{t}}
type repr = {{repr}}
{{repr}}
val make : repr -> t
repr -> t
val get : t -> repr
t -> repr