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