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.