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