Create a temporary to store the result of this expression. Returns a reference to the temporary as a variable.

True if this is a class

True if debug logging is enabled for this execution.

True if this is a struct

Determines whether a token in a `:::{spec}` directive line is a tag rather than a local name. Tags are: `rfcNNNN`, `!rfcNNNN`, `unimpl`.

Converts a kebab-case name to PascalCase. # Examples - `function` → `Function` - `use-declaration` → `UseDeclaration` - `class-member` → `ClassMember

Start the debug server, panicking if already launched. Returns a port where you should send debug events.

Get the number of elements in the set.

Loads all spec IDs from the spec mdbook source files

Returns a future that blocks the current task until `op` returns `Some`. `op` will be reinvoked each time the state of the inference variable may have

The **least upper bound** (LUB) of two permissions `(perm1, perm2)`. The LUB `perm3` is a permission such that `perm1 <: perm3` and `perm1 <: perm3` b

Add `.dada` suffix to final component. # Panics Panics if final component already has `.dada`

Remove `.dada` suffix from final component. # Panics Panics if final component does not end in `.dada`

Computes a relative link from `current_path` to `target_url`. If the target is in the same file, returns just the `#anchor` part. Otherwise returns a

Mark the inference process as complete and wake all tasks.

Returns iterator over all methods in this class.

Returns a version of this type mutable from `place`.

Span for the function name.

Returns a [`WasmPointer`] to the current start of a callee's stack frame. This value is only valid until [`Self::insert_variable`] is next called.

Convert `ty` to a [`RedTy`][]; if the result is an inference variable, then wait until that variable has a lower-bound. # Returns A [`RedTy`][] that

Generic way to "open" a binder, giving a function that computes the replacement value for each bound variable. You may preference [`Self::substitute`]

Pop and return a task that is ready to execute (if any).

Pop a value of type `val_type` and store it in `local`.

Return the primitive kind that represents `ty` or `Err` if `ty` is not a primitive.

Probe for the compact AST representation of the expression at a given span. # Example ```dada print("hello").await #? ^^^^^^^ Ast: Literal(String, "h

Return compact AST representation of the expression at the given `span`.

Return type of the variable found at the given `span` or `None` if there is no variable there.

Probe for the type of a variable found in a given file at a given span.

Return type of the variable found at the given `span` or `None` if there is no variable there.

Processes MyST `{spec}` directives into HTML with anchors and styling. 💡 Spec paragraph IDs are resolved from context: - File path prefix derived fro

Push a shared copy the value found in `place` onto the WASM stack.

Extends the scope with a new program variable given its type.

Push a shared copy the value found in `place` onto the WASM stack.

Given a message, find the handler (if any) and invoke it.

A task that runs for each type inference variable. It awaits any upper/lower bounds and propagates a corresponding bound.

Returns an iterator over the red perm bounds on a permission inference variable.

A task that runs for each type inference variable. It awaits any upper/lower bounds and propagates a corresponding bound.

Converts markdown ` ```ebnf ``` ` code fences into HTML `<pre>` blocks with linked nonterminals. Within EBNF blocks: - PascalCase words that exist in

Renders a single EBNF line, replacing nonterminal references with links and backtick-quoted terminals with styled `<code>` spans.