Functor Partitioning.Make_Partition

module Make_Partition: 
functor (Domain : Abstract_domain.External) -> 
functor (States : StateSet  with type state = Domain.t) -> Partition  with type state = Domain.t
               and type state_set = States.t

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