sig
val
typ :
Coq
.lazy_ref
val
of_int : int
->
Constr
.constr
end