Module Partitioning

module Partitioning: sig .. end
Set of states, propagated through the edges by the dataflow analysis.

module type StateSet = sig .. end
module Make_Set: 
functor (Domain : Abstract_domain.S) -> StateSet with type state = Domain.t
Set of states, propagated through the edges by the dataflow analysis.
module type Partition = sig .. end
module Make_Partition: 
functor (Domain : Abstract_domain.External) ->
functor (States : StateSet with type state = Domain.t) -> Partition with type state = Domain.t and type state_set = States.t
Partition of the abstract states, computed for each node by the dataflow analysis.