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