Module Coq.Nat

module Nat: sig .. end

Coq unary numbers (peano)


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