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