Skip to main content Module typechecker Copy item path Source pub use capture::capture ;pub use desugar::desugar ;pub use infer::infer ;pub use infer::infer_package ;pub use rules::capability_binding_type ;pub use rules::check ;capture Capture analysis pass — marks let bindings, parameters, and their
references as boxed when they’re captured by inner closures, and
populates each Closure.captured with the env-layout codegen needs. desugar Desugar pass — transforms surface-level Typed AST forms into a smaller
canonical shape that codegen has to handle. infer Inference pass — produces the Typed AST. json_schema JSON Schema emitter for submilli:llm typed output. json_strategy JSON.parse union-target strategy resolver. rules Check (Rules) pass — semantic rules over the Typed AST. type_param_substitution Generic type-parameter substitution and structural unification.