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