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