module Nat: sig .. end
sig
end
Coq unary numbers (peano)
val typ : EConstr.constr lazy_t
EConstr.constr lazy_t
val of_int : int -> EConstr.constr
int -> EConstr.constr