sig
  val pretty_strategies : unit -> unit
  val kf_strategy : Kernel_function.t -> Split_strategy.t
end