Module Powerset

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.