sig
  val is_computed : Kernel_function.t -> bool
  val set : Kernel_function.t -> bool -> unit
  val accessor : Db.RteGen.status_accessor
end