module Aorai_dataflow: sig .. end
sig
end
Overapproximation of the states that can be attained at each statement, together with actions that have been performed.
val compute : unit -> unit
unit -> unit