sig
  type state
  type t
  val empty : unit -> Partitioning.S.t
  val merge_set_return_new :
    Partitioning.S.state list ->
    Partitioning.S.t -> Partitioning.S.state list
  val join : Partitioning.S.t -> Partitioning.S.state Eval.or_bottom
  val to_list : Partitioning.S.t -> Partitioning.S.state list
  val pretty : Stdlib.Format.formatter -> Partitioning.S.t -> unit
end