module Dataflow: functor (D : Domain) -> sig .. end
functor (
D
:
Domain
) ->
sig
end
val fixpoint : Cil_types.kernel_function -> D.t -> D.t Interpreted_automata.Vertex.Hashtbl.t
Cil_types.kernel_function -> D.t -> D.t Interpreted_automata.Vertex.Hashtbl.t