sig   val is_computed : Kernel_function.t -> bool   val set : Kernel_function.t -> bool -> unit end