sig
type state
type state_set
type t
val empty : unit -> Partitioning.Partition.t
val fold :
(Partitioning.Partition.state -> 'a -> 'a) ->
Partitioning.Partition.t -> 'a -> '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