module Relation: sig .. end
sig
end
type t = {
carrier : Term.constr;
Term.constr
r : Term.constr;
val make : Term.constr -> Term.constr -> t
Term.constr -> Term.constr -> t
val split : t -> Term.constr * Term.constr
t -> Term.constr * Term.constr