module SplitReturnFunction:Kernel_function_map
(
sig
include Split_strategytypekey =
Cil_types.kernel_function
val of_string :key:key ->
prev:t option -> string option -> split_strategy optionval to_string :key:'a -> split_strategy option -> string option
end
)
(
sig
val option_name :string
val arg_name :string
val help :string
val default :'a Kernel_function.Map.t
end
)