Module Generator

module Generator: sig .. end

module type S = sig .. end
module Signed: S 
module Mem_access: S 
module Div_mod: S 
module Shift: S 
module 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 : unit -> Db.RteGen.status_accessor
val signed_status : unit -> Db.RteGen.status_accessor
val shift_status : unit -> Db.RteGen.status_accessor
val div_mod_status : unit -> Db.RteGen.status_accessor
val downcast_status : unit -> Db.RteGen.status_accessor
val mem_access_status : unit -> Db.RteGen.status_accessor
val float_to_int_status : unit -> Db.RteGen.status_accessor
val unsigned_overflow_status : unit -> Db.RteGen.status_accessor
val unsigned_downcast_status : unit -> Db.RteGen.status_accessor
val all_status : unit -> Db.RteGen.status_accessor list