Module Coq.Bool

module Bool: sig .. end

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