Module Coq.Comparison

module Comparison: sig .. end

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