let
get_loc v env =
List
.assoc v (get_cur_defs env)