sig
module type S =
sig
val is_computed : Kernel_function.t -> bool
val set : Kernel_function.t -> bool -> unit
end
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 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 pointer_call_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
end