# itf v0.1.0 - Table of Contents

> An Elixir library for decoding and inspecting Apalache ITF traces.

## Pages

- [ITF](readme.md)
- [Changelog](changelog.md)
- [LICENSE](license.md)

## Modules

- Public API
  - [ITF](ITF.md): Decodes Apalache ITF JSON into a path-validated `ITF.Trace`.
  - [ITF.Error](ITF.Error.md): A source-aware, path-aware ITF decoding error.
  - [ITF.Map](ITF.Map.md): An ITF map whose arbitrary keys and emitted entry order are preserved.
  - [ITF.Set](ITF.Set.md): An ITF set. Emitted order is retained but has no semantic meaning.
  - [ITF.State](ITF.State.md): A trace state with decoded declarations and untouched auxiliary fields.
  - [ITF.Trace](ITF.Trace.md): A validated ITF execution trace.
  - [ITF.Tuple](ITF.Tuple.md): An ordered ITF tuple, distinct from a sequence.
  - [ITF.Unserializable](ITF.Unserializable.md): The textual representation of an ITF value that could not be serialized.
  - [ITF.Value](ITF.Value.md): Types produced when ITF expressions are decoded.
  - [ITF.Variant](ITF.Variant.md): An ITF variant with a string tag and decoded payload.

