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

One replayable Quint step extracted from an ITF state.

# `t`

```elixir
@type t() :: %QuintConnect.Step{
  action_taken: String.t(),
  nondet_picks: map(),
  state: term()
}
```

# `action?`

```elixir
@spec action?(t(), String.t() | atom()) :: boolean()
```

Returns `true` when this step represents an action.

# `nondet`

```elixir
@spec nondet(t(), String.t() | atom()) :: {:ok, term()} | {:error, term()}
```

Returns required nondeterministic pick by name.

# `optional_nondet`

```elixir
@spec optional_nondet(t(), String.t() | atom()) :: {:ok, term() | nil}
```

Returns optional nondeterministic pick by name.

---

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