# `QuintConnect.State`
[🔗](https://github.com/marquesds/quint-connect/blob/v0.1.0/lib/quint_connect/state.ex#L1)

Behaviour for projecting implementation state into a form comparable to Quint ITF state.

Drivers can implement this callback directly. Replay compares returned value
with `QuintConnect.Step.state` after `state_path` slicing.

# `from_implementation`

```elixir
@callback from_implementation(impl_state :: term()) :: {:ok, term()} | {:error, term()}
```

Extract comparable state from running implementation.

---

*Consult [api-reference.md](api-reference.md) for complete listing*