* Outputs a 256-bit hash from input bytes. */

state transitions for current and target (next) programs in general, we only change the state of a most two processes in a single step. this takes th

Returns one of two strings based on a condition. This is particularly useful for pluralization and other conditional text formatting where you need t

IDs of every module reachable from `start` via outgoing path-import edges (inclusive). Used by `compile_contract` to walk a contract's subgraph withou

Canonical record type helper.

* Register a WASM command

Register the built-in `Token` ABI that every `token` definition's `impl Token { ... }` block is checked against. It declares `attach(Utxo) -> ()` and

Register doc comments and variant info from generic type definitions so that hover shows documentation and syntax-highlighted labels.

Register builtin prelude types (`Option<T>`, `Result<T, E>`).

Produce text edits for renaming the symbol at the given position.

Ensure comparison operands are either both integers or both booleans.

Ensure equality operands share the same primitive type.

Heuristic q: select the column with the longest constructor prefix. Ties broken by leftmost column. Falls back to first column with any non-wildcard.

Set `this.onmessage` to give inputs on this channel.

Collect a snapshot of the current bindings, with inner scopes shadowing outer ones, returned as a sorted map for deterministic formatting.

Spawn a free-floating Utxo of this type. Cannot be committed to a ledger later.

Specialize the matrix for column `col` and constructor `ctor`. S(c, P→A) from Section 2.2 / Figure 1.

Update column types after specialization: remove col `i`, insert field types of `ctor`.

Yield all `.star` files under `dir`, respecting gitignore-style filtering.