Module Value_parameters.SplitReturnFunction

module SplitReturnFunction: Kernel_function_map(sig
include Split_strategy
type key = Cil_types.kernel_function 
val of_string : key:key ->
prev:t option -> string option -> split_strategy option
val 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)