Functor Partitioning_index.Make

module Make: 
functor (Domain : Domain-> sig .. end
Partition of the abstract states, computed for each node by the dataflow analysis.
Parameters:
Domain : Domain

type t 
val empty : unit -> t
Creates an empty index.
val add : Partitioning_index.Domain.t -> t -> bool
Adds a state into an index. Returns true if the state did not belong to the index (and has indeed been added), and false if the index already contained the state.
val pretty : Format.formatter -> t -> unit