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