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