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