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)