Module Generator

module Generator: sig .. end

module type S = sig .. end
module Mem_access: 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 Called_precond: S 
val emitter : Emitter.t
val precond_status : Db.RteGen.status_accessor
val shift_status : Db.RteGen.status_accessor
val div_mod_status : Db.RteGen.status_accessor
val mem_access_status : Db.RteGen.status_accessor
val float_to_int_status : Db.RteGen.status_accessor
val signed_overflow_status : Db.RteGen.status_accessor
val signed_downcast_status : Db.RteGen.status_accessor
val unsigned_overflow_status : Db.RteGen.status_accessor
val unsigned_downcast_status : Db.RteGen.status_accessor
val all_status : Db.RteGen.status_accessor list