oxilean-cli 0.1.2

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

//! Folding range module for OxiLean LSP.
//!
//! Implements `textDocument/foldingRange` for Lean4-like source files.
//! Detects five categories of foldable regions: comment blocks, import blocks,
//! declaration bodies, do-blocks, and merged adjacent single-line regions.

pub mod functions;
pub mod types;

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