QuintConnect.State behaviour (quint_connect v0.1.0)

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.

Summary

Extract comparable state from running implementation.

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

Extract comparable state from running implementation.