feat(Scope): add get_visible (#119)

src/Scope.ml

@@ -80,6 +80,9 @@ struct
     let ns = Mod.modify ?context:context_modifier ~prefix:Emp modifier ns in
     { s with visible = Trie.union_subtree ~prefix:Emp (Mod.Perform.shadow context_visible) s.visible (path, ns) }
 
+  let get_visible () =
+    M.exclusively @@ fun () -> (S.get()).visible
+
   let get_export () =
     M.exclusively @@ fun () -> (S.get()).export
 

src/ScopeSigs.ml

@@ -131,6 +131,13 @@ sig
       @param context_modifier The context of modifier effects when applying the modifier [m].
       @param context_export The context of modifier effects when merging the subtree into the export namespace. *)
 
+  val get_visible : unit -> (data, tag) Trie.t
+  (** [get_visible ()] returns the visible namespace of the current scope.
+
+      This is useful for obtaining all visible names for auto-completion. It can also be used for checking whether a shadowed definition is still visible under another name. (However, scanning the entire visible namespace is expensive and should probably be avoided.)
+
+      @since 5.2.0 *)
+
   val get_export : unit -> (data, tag) Trie.t
   (** [get_export ()] returns the export namespace of the current scope.