let
get_loops_index () =
Hashtbl
.fold (
fun
key _ lk
->
key::lk ) loop_int_pre_bycase []