Module Partitioning

module Partitioning: sig .. end

module type Domain = sig .. end
module type S = sig .. end
module Make: 
functor (Domain : Domain-> S with type state = Domain.t

Partition of the abstract states, computed for each node by the dataflow analysis.