Module Coq.Nat

module Nat: sig .. end
Coq unary numbers (peano)

val typ : Term.constr lazy_t
val of_int : int -> Term.constr