Module AAC_coq.Bool

module Bool: sig .. end

val typ : Term.constr lazy_t

val of_bool : bool -> Term.constr