Module value 

Surviving typed value types after the strict-typing bulldozer.

Most of this module’s content (VMArray, Upvalue, HostCallable, PrintResult, PrintSpan) was deleted along with the v1 ValueWord representation. What remains are the pure-data filter / vtable types that don’t reference any dynamic-word machinery.

Structs

RewriteResult

Result of Erase_T::rewrite — the erased type plus the wrap-target list for the emission-tier thunk.

ThunkSignature

Per-(impl, method) thunk descriptor — the data the emission tier needs to generate a thunk function for one method of one impl.

TypeInfo

Runtime type information for method-generic parameters (§Q25.C.3).

VTable

Virtual method table for trait objects.

VTableEntryFlags

Bitfield for VTableEntry::Compound — which of the three rewriting shapes apply to this method.

WrapTarget

One auto-boxing site inside an Erase_T-rewritten return type.

Enums

ErasureError

Errors Erase_T can surface per §Q25.C.1 / §Q25.C.4 ETO error codes.

ErasureType

Storage-tier projection of the method-signature types Erase_T operates on. Mirrors the row table in ADR-006 §2.7.24 Q25.C.1:

FilterLiteral

A literal value in a filter expression (for SQL generation).

FilterNode

Filter expression tree for SQL pushdown.

FilterOp

Comparison operator for filter expressions.

VTableEntry

How a single trait method dispatches through dyn T.