module Generator:sig
..end
DO NOT CALL Make AFTER THIS POINT
module type S =sig
..end
module Initialized:S
module Mem_access: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 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