Module Value_parameters.BuiltinsOverrides

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