Functor Partitioning.Make

module Make: 
functor (Domain : Domain-> 
functor (States : Powerset.S with type state = Domain.t-> S with type state = Domain.t and type state_set = States.t
Partition of the abstract states, computed for each node by the dataflow analysis.
Parameters:
Domain : Domain
States : Powerset.S with type state = Domain.t

type state 
type state_set 
type t 
val empty : unit -> t
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