ITF.State (itf v0.1.0)

Copy Markdown View Source

A trace state with decoded declarations and untouched auxiliary fields.

Summary

Types

t()

Types

t()

@type t() :: %ITF.State{
  extensions: map(),
  metadata: map(),
  values: %{required(String.t()) => ITF.Value.t()}
}