module Powerset: sig
.. end
Set of states, propagated through the edges by the dataflow analysis.
module type Domain = sig
.. end
module type S = sig
.. end
module Make: functor (
Domain
:
Domain
) ->
S
with type state = Domain.t
Set of states, propagated through the edges by the dataflow analysis.