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