Module type Generator.S

module type S = sig .. end

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