Module Split_return

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