module Partitioning: sig
.. end
Set of states, propagated through the edges by the dataflow analysis.
module type StateSet = sig
.. end
module Make_Set:
Set of states, propagated through the edges by the dataflow analysis.
module type Partition = sig
.. end
module Make_Partition:
Partition of the abstract states, computed for each node by the
dataflow analysis.