Module Coq.Pos

module Pos: sig .. end

Coq positive numbers (pos)


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