Module Partitioning

module Partitioning: sig .. end

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.