State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `ha` Event `hv` switch 1 `he'he'hv` 0 `q____` Equip (1 `lu` 0)
State `ha` Event `hv` auto `he'he'hv____` 0 `q____` Equip (0 `lu` 0)State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `ha` Event `hv` switch 1 `he'he'hv` 0 `q____` Equip (1 `lu` 0)
State `ha` Event `hv` auto `he'he'hv____` 0 `q____` Equip (0 `lu` 0)