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