module Pos: sig .. end
sig
end
val typ : Term.constr lazy_t
Term.constr lazy_t
val of_int : int -> Term.constr
int -> Term.constr