Crate oak_lean 

Re-exports

pub use crate::ast::LeanRoot;

pub use crate::highlighter::LeanHighlighter;

pub use crate::kind::LeanSyntaxKind;

pub use crate::language::LeanLanguage;

pub use crate::lexer::LeanLexer;

pub use crate::lsp::LeanLanguageService;

pub use crate::parser::LeanParser;

Modules

ast

highlighter

kind

language

Lean 语言定义

lexer

Lean 语言词法分析器

lsp

mcp

parser

Structs

LeanBuilder