sig val typ : Term.constr lazy_t val eq : Term.constr lazy_t val lt : Term.constr lazy_t val gt : Term.constr lazy_t end