oak-lean-0.0.6
- oak-lean 0.0.6
- Docs.rs crate page
- MPL-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- fqq
- github:ygg-lang:publisher
- Dependencies
- futures ^0.3.32 normal optional
  oak-core ^0.0.6 normal
  oak-highlight ^0.0.6 normal optional
  oak-hover ^0.0.6 normal optional
  oak-lsp ^0.0.6 normal optional
  oak-mcp ^0.0.6 normal optional
  oak-pretty-print ^0.0.6 normal optional
  oak-vfs ^0.0.6 normal optional
  serde ^1.0.228 normal optional
  tokio ^1.50.0 normal optional
- Versions
- 98.63% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Module builder

oak_lean0.0.6

Module builder

Module Items

Structs

In crate oak_lean

Module builder

Expand description

Builder module.

Structs§

LeanBuilder: Builder for constructing Lean AST from source text.