A pure transition has no replay-sensitive external effect. Interaction is
explicit and may only be replayed through the retained-boundary protocol.
This vocabulary extends the existing transformation modes; it does not
infer differentiation or invent an optimizer for a state evolution rule.
19family TransitionReplay : Type 0
20constructor ReplayPureTransition
21constructor ReplayRetainedInteraction
22constructor RestartExternalInteractionThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.