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