module type Generated = sig .. end
sig
end
val get : 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 get_state : Cil_types.kernel_function -> State.t
Cil_types.kernel_function -> State.t
val self : State.t
State.t