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

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