module Pos: sig .. end
sig
end
Coq positive numbers (pos)
val typ : Coq.lazy_ref
Coq.lazy_ref
val of_int : int -> EConstr.constr
int -> EConstr.constr