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