module Outputs:sig
..end
class virtual do_it_ :object
..end
module Analysis:Cumulative_analysis.Make
(
sig
val analysis_name :string
typet =
Locations.Zone.t
module T:Locations.Zone
val bottom :Locations.Zone.t
class virtual do_it :Outputs.do_it_
end
)
val get_internal : Cil_types.kernel_function -> Locations.Zone.t
val externalize : Cil_types.kernel_function -> Locations.Zone.t -> Locations.Zone.t
module Externals:Kf_state.Make
(
sig
end
)
val get_external : Kernel_function.t -> Externals.data
val pretty_internal : Format.formatter -> Kernel_function.t -> unit
val pretty_external : Format.formatter -> Kernel_function.t -> unit