Brings definition over the screen in front as an interruption — a screen
the server put there (a challenge), not one an edge of that screen opens.
When the screen in front is itself an interruption, the new one replaces it
in the same transition: the screen below neither resumes nor leaves again.
With no screen open, the interruption is the process's root. replacing,
when given, must be the interruption on top (an action of one step taking
the next), else it dies with ScreenNotOnTopError (a defect).
The handle has no origin and so no back; the frame is no step of a trail.
The enter is a transition and a transaction like any other.
Brings
definitionover the screen in front as an interruption — a screen the server put there (a challenge), not one an edge of that screen opens. When the screen in front is itself an interruption, the new one replaces it in the same transition: the screen below neither resumes nor leaves again. With no screen open, the interruption is the process's root.replacing, when given, must be the interruption on top (an action of one step taking the next), else it dies withScreenNotOnTopError(a defect).The handle has no origin and so no
back; the frame is no step of a trail. The enter is a transition and a transaction like any other.