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