Expand description

State transition types

Structs

Program states.

Information about one of the tokens.