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