MCPcopy Create free account
hub / github.com/argumentcomputer/ix / tc.rs

File tc.rs

crates/kernel/src/tc.rs:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1//! TypeChecker struct and core helpers.
2//!
3//! The TypeChecker is a lightweight handle for type-checking against one
4//! worker-owned `KEnv`.

Callers

nothing calls this directly

Calls 1

env_varFunction · 0.85

Tested by

no test coverage detected