Module Coq.Relation

module Relation: sig .. end

type t = {
   carrier : Term.constr;
   r : Term.constr;
}
val make : Term.constr -> Term.constr -> t
val split : t -> Term.constr * Term.constr