Module Value_parameters.SlevelFunction

module SlevelFunction: Kernel_function_map(sig
include Datatype.Int
type key = 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)