Convert an LSP `Uri` (`file:///abs/path/to/foo.star`) to a `PathBuf`. Returns `None` for non-file URIs (e.g. `untitled:`, `vscode-vfs:`) or if the URI

Reject any edge whose target declares `contract;`. `allow_target` is set in the single-file flow: when callers point at a contract file via `wasm -c

Document version reflected in the currently cached state.

Start a new identifier scope and generate bytecode for the statements of the block in sequence. Only creates a Wasm `block` when specifically needed f

Visit an expression, dropping its result.

Root visitor called by [compile] to start walking the AST for a program, building the Wasm sections on the way.

Get the tree-sitter Language for this grammar.

Set up callable aliases for a path import. The target module has already been visited (topo order), so its functions live in `self.callables` keyed by

Allocates circuit variables for the switches and enforces exactly one is true

private function that does the job of actually updating self.utxos and the incremental commitment?

Visit a single statement and normalize any embedded type annotations.

The arity (number of sub-patterns) for a constructor given the column type.

Check exhaustiveness and usefulness for a match expression. Returns errors if any patterns are unreachable or if the match is not exhaustive.

Helper for `free_type_vars_type` that walks the type tree.

Collects missing patterns for exhaustiveness error messages. Returns a list of pattern representations that are not covered.

Compile a single Starstream contract source to a core Wasm module in-process. Mirrors the browser sandbox's compile path: parse the source, typecheck

Expects address then values on the stack. https://github.com/WebAssembly/component-model/blob/main/design/mvp/CanonicalABI.md#storing