module Powerset: 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
Set of states, propagated through the edges by the dataflow analysis.