sig
val
typ :
Term
.constr lazy_t
val
of_bool : bool
->
Term
.constr
end