hub / github.com/brendanzab/rust-nbe-for-mltt

github.com/brendanzab/rust-nbe-for-mltt @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

473 symbols 1,240 edges 37 files 190 documented · 40% ● updated 4y ago★ 103

Browse by type

⨍ Functions 404◇ Types & classes 69

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

Matcher (Interface)

(no doc) [4 implementers]

crates/mltt-parse/src/parser.rs

ParseIntLiteral (Interface)

Helper trait for defining `parse_int`.

crates/mltt-elaborate/src/literal.rs

TryFromValue (Interface)

(no doc)

crates/mltt-core/src/prim.rs

ParseFloatLiteral (Interface)

Helper trait for defining `parse_float`.

crates/mltt-elaborate/src/literal.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 4 filesLiteralIntro

crates/mltt-core/src/literal.rs

↓ 4 filesuniverse

crates/mltt-core/src/pretty.rs

↓ 3 filesDefinition

crates/mltt-concrete/src/lib.rs

↓ 3 filesDeclaration

crates/mltt-concrete/src/lib.rs

↓ 3 filesann

crates/mltt-core/src/pretty.rs

↓ 2 filescheck

Check the type of a literal in a context.

crates/mltt-elaborate/src/literal.rs

browse all functions →

Shape

Method 231

Function 173

Class 42

Enum 23

Interface 4

Languages

Rust100%

Modules by API surface

crates/mltt-parse/src/parser.rs53 symbols

crates/mltt-parse/src/lexer.rs42 symbols

crates/mltt-parse/tests/parser.rs36 symbols

crates/mltt-elaborate/src/context.rs25 symbols

crates/mltt-span/src/file.rs22 symbols

crates/mltt-core/src/pretty.rs22 symbols

crates/mltt-core/src/validate.rs21 symbols

crates/mltt-core/src/literal.rs21 symbols

crates/mltt-concrete/src/lib.rs20 symbols

crates/mltt-span/src/span.rs17 symbols

crates/mltt-core/src/var.rs15 symbols

crates/mltt-parse/tests/lexer.rs13 symbols

For agents

$ claude mcp add rust-nbe-for-mltt \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/brendanzab/rust-nbe-for-mltt @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page