* Create two identical variables and verify they share the same ID * Returns true if hash-consing worked (same IDs) * @returns {boolean}

* Demonstrate hash-consing by creating identical terms * @returns {string} JSON showing term equality

* Create two identical variables and verify they share the same ID * Returns true if hash-consing worked (same IDs) * @returns {boolean}

Create a dummy span (for testing/generated code)

Elaborate an expression

Exponential moving average

* Ensure theorem collection has proper schema

Create a concrete level

* Get statistics about the arena (number of unique terms) * @returns {string}

* Get statistics about the arena (number of unique terms) * @returns {string}

* Get statistics about the arena (number of unique terms) * @returns {string}

Get assignment for a metavariable

Get the inductive type for a constructor

Get matching patterns for a task

Check if a declaration exists

Get cache hit statistics

Get the symbol's ID

Create an implicit binder

Insert implicit arguments for a function application

Create attributes for a type class instance

Check if this is an application

Check if a metavariable is assigned

Check if this is a concrete constant

Check if a name is a constructor

Check if agent is CPU-intensive

Check if the context is empty

Check if agent is I/O-bound

Check if this is a lambda

Check if this is a Pi type

Check if runtime is running

Check if all constraints are solved

Check if this is a sort

Check if this is a variable

Check if this is the zero level

Judge a trajectory's outcome

Create config optimized for kernel verification

Get a line of source code

Get line and column for a byte offset

Log PII masking