module Generator:sig
..end
module type S =sig
..end
module Initialized:S
module Mem_access:S
module Pointer_call:S
module Div_mod:S
module Shift: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 Called_precond:S
val emitter : Emitter.t
val all_statuses : Db.RteGen.status_accessor list