module type S = sig .. end
sig
end
val is_computed : Kernel_function.t -> bool
Kernel_function.t -> bool
val set : Kernel_function.t -> bool -> unit
Kernel_function.t -> bool -> unit
val self : State.t
State.t