let
get_all_kf () =
Globals
.
Functions
.fold (
fun
kf lkf
->
kf::lkf) []