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