oxilean-cli 0.1.2

OxiLean command-line interface
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Call hierarchy module for OxiLean LSP.
//!
//! Implements `textDocument/prepareCallHierarchy`, `callHierarchy/incomingCalls`,
//! and `callHierarchy/outgoingCalls` for Lean4-like source files.
//!
//! The analysis is purely textual and does not require the type-checker to be
//! fully operational: declarations are identified by keyword patterns and
//! references are found by identifier-boundary scanning.

pub mod functions;
pub mod types;

// Re-export public surface
pub use functions::*;
pub use types::*;