let
select_kf tree_view kf =
let
vi =
Kernel_function
.get_vi kf
in
tree_view
#
select_global vi