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