Module Coq.Nat

module Nat: sig .. end

Coq unary numbers (peano)


val typ : Coq.lazy_ref
val of_int : int -> Constr.constr