Module type Partitioning.Partition

module type Partition = sig .. end

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