module Outputs: sig
.. end
val call_stack : Kernel_function.t Stack.t
exception Ignore
class do_it :
object
.. end
val statement : Cil_types.stmt -> Locations.Zone.t
module Internals: Kf_state.Make
(
sig
end
)
val get_internal : Kernel_function.t -> Internals.data
val externalize : Db_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