module Split_return:sig
..end
This module is used to merge together the final states of a function according to a given strategy. Default is to merge all states together
val pretty_strategies : unit -> unit
val kf_strategy : Kernel_function.t -> Split_strategy.t