Module Outputs


module Outputs: sig .. end

class virtual do_it_ : object .. end
module Analysis: Cumulative_analysis.Make(sig
val analysis_name : string
type t = 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
val name : string
val dependencies : State.t list
val kind : [> `Correctness ]
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