module GENERATED:functor (
M
:
sig
val name :string
val default :Cil_types.kernel_function -> bool
end
) ->
functor (
Proxy
:
sig
val self :State.t
val get_state :Cil_types.kernel_function -> State.t
end
) ->
sig
..end
Parameters: |
|
include struct ... end
val add : Kernel_function.t -> State.t list -> data -> unit
val get : key -> Datatype.Bool.t
val get_state : key -> State.t
val set : key -> Datatype.Bool.t -> unit