let key_visible txt fm key = let visible = match fm with None -> true | Some fm -> Marks.key_visible fm key in Sparecode_params.debug ~level:3 "%s : %a -> %b" txt !Db.Pdg.pretty_key key visible; visible