module Make:
Partition of the abstract states, computed for each node by the
dataflow analysis.
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