Module Partitioning

module Partitioning: sig .. end
Partition of the abstract states, computed for each node by the dataflow analysis.

module type Domain = sig .. end
module type S = sig .. end
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.