sig
module type S =
sig
val is_computed : Kernel_function.t -> bool
val set : Kernel_function.t -> bool -> unit
val accessor : Db.RteGen.status_accessor
end
module Initialized : S
module Mem_access : S
module Pointer_value : S
module Pointer_call : S
module Div_mod : S
module Shift : S
module Left_shift_negative : S
module Right_shift_negative : S
module Signed_overflow : S
module Signed_downcast : S
module Unsigned_overflow : S
module Unsigned_downcast : S
module Pointer_downcast : S
module Float_to_int : S
module Finite_float : S
module Bool_value : S
val all_statuses : Db.RteGen.status_accessor list
val emitter : Emitter.t
val get_registered_annotations :
Cil_types.stmt -> Cil_types.code_annotation list
end