module BuiltinsOverrides:Kernel_function_map
(
sig
include Datatype.Stringtypekey =
Cil_types.kernel_function
val of_string :key:Kernel_function.t -> prev:'a -> string option -> string option
val to_string :key:'a -> 'b -> 'b
end
)
(
sig
val option_name :string
val arg_name :string
val help :string
val default :'a Kernel_function.Map.t
end
)