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