let
get_loc_name env =
function
|
GlobalVar
(uid, _)
|
LocalVar
(uid, _, _)
->
env.gnames.(uid)