Module type Nat.Intf

type n
val n : n t