let
loc_var_visible fm var =
let
key =
PdgIndex
.
Key
.decl_var_key var
in
Marks
.key_visible fm key