sig
  type state
  type state_set
  type t
  val empty : unit -> Partitioning.Partition.t
  val fold :
    (Partitioning.Partition.state -> '-> 'a) ->
    Partitioning.Partition.t -> '-> 'a
  val merge_set_return_new :
    Partitioning.Partition.state_set ->
    Partitioning.Partition.t -> Partitioning.Partition.state_set
  val join :
    Partitioning.Partition.t -> Partitioning.Partition.state Eval.or_bottom
  val to_set : Partitioning.Partition.t -> Partitioning.Partition.state_set
  val to_list : Partitioning.Partition.t -> Partitioning.Partition.state list
  val pretty : Format.formatter -> Partitioning.Partition.t -> unit
end