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