module Inputs: sig
.. end
class virtual do_it_ :
object
.. end
module Analysis: Cumulative_analysis.Make
(
sig
end
)
val get_internal : Cil_types.kernel_function -> Locations.Zone.t
module Externals: Kernel_function.Make_Table
(
Locations.Zone
)
(
sig
val name : string
val dependencies : State.t list
val size : int
end
)
val get_external : Externals.key -> Externals.data
val get_with_formals : Cil_types.kernel_function -> Locations.Zone.t
val compute_external : Externals.key -> unit
val pretty_external : Format.formatter -> Kernel_function.t -> unit
val pretty_with_formals : Format.formatter -> Kernel_function.t -> unit