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