Modules
A source-aware, path-aware ITF decoding error.
An ITF map whose arbitrary keys and emitted entry order are preserved.
An ITF set. Emitted order is retained but has no semantic meaning.
A trace state with decoded declarations and untouched auxiliary fields.
A validated ITF execution trace.
An ordered ITF tuple, distinct from a sequence.
The textual representation of an ITF value that could not be serialized.
Types produced when ITF expressions are decoded.
An ITF variant with a string tag and decoded payload.