Module Coq.Comparison

module Comparison: sig .. end

val typ : EConstr.constr lazy_t
val eq : EConstr.constr lazy_t
val lt : EConstr.constr lazy_t
val gt : EConstr.constr lazy_t