finalState

The values of relevant expressions after the edge has been traversed.

Since

0.12.0