Crate oak_lean 

Re-exports

pub use kind::LeanSyntaxKind;

pub use kind::LeanToken;

pub use language::LeanLanguage;

pub use lexer::LeanLexer;

Modules

kind

language

Lean 语言定义

lexer

Lean 语言词法分析器