Module Coq.Pos

module Pos: sig .. end
Coq positive numbers (pos)

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