sig
  type t
  val u_of : Combine.E.t -> U.S.t
  val la_of : Combine.E.t -> La.S.t
  val nl_of : Combine.E.t -> Solution.Set.t
  val p_of : Combine.E.t -> Solution.Set.t
  val cop_of : Combine.E.t -> Solution.Set.t
  val cl_of : Combine.E.t -> Solution.Set.t
  val arr_of : Combine.E.t -> Solution.Set.t
  val set_of : Combine.E.t -> Solution.Set.t
  val empty : Combine.E.t
  val copy : Combine.E.t -> Combine.E.t
  val is_empty : Combine.E.t -> bool
  val eq : Combine.E.t -> Combine.E.t -> bool
  val pp : Combine.E.t Pretty.printer
  val pp_i : Th.t -> Combine.E.t Pretty.printer
  val find : Combine.E.t * Partition.t -> Th.t -> Jst.Eqtrans.t
  val inv : Combine.E.t * Partition.t -> Jst.Eqtrans.t
  val dep : Th.t -> Combine.E.t -> Term.t -> Term.Var.Set.t
  val diff : Combine.E.t -> Combine.E.t -> Combine.E.t
end