Aliases: Event | Subtypes: State
Transition describes computations depending of some internal state.
Transition could be unwrapped into an Automation:
Supertype (Transition state result) ~ Automation state result stateYou can zoom in Transition’s state with an Attribute:
(switch _): e `AR_` Transition e e
(at @e): Automation (Only e) e (Only e)(switch x `ha_` Scope `hv` at @e): Only e `AR_` Transition (Only e) (Only e)