//! Document Symbols module for OxiLean LSP.
//!//! Provides `textDocument/documentSymbol` support — an outline view of all
//! declarations in a Lean4-like source file.
pubmodfunctions;pubmodtypes;// Re-export all types and functions
pubusefunctions::*;pubusetypes::*;