module Partitioning: sig .. end
sig
end
module type Domain = sig .. end
module type S = sig .. end
module Make: functor (Domain : Domain) -> S with type state = Domain.t
functor (
Domain
:
) ->
S
with type state = Domain.t
Partition of the abstract states, computed for each node by the dataflow analysis.