let
param_visible fm n =
let
key =
PdgIndex
.
Key
.param_key n ()
in
Marks
.key_visible fm key