Module Coq.Pos

module Pos: sig .. end

Coq positive numbers (pos)


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