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