ReadonlyactionsReadonlydataWhat enter returns: the user's data, flat on the handle; never in a trail.
ReadonlyenterReadonlyidReadonlyinputWhat an edge passes to enter — for an item, the schema of one list entry.
ReadonlyitemsAbsent when the screen shows no item lists.
ReadonlykindReadonlyleaveWhat the engine runs each time the thing stops being on top — covered by another screen, closed, or left by a tab switch — after the transition that did it committed. It cannot fail; absent when the thing does nothing then.
ReadonlyresumeWhat the engine runs each time the thing is on top again after a leave —
the screen that covered it was closed — after that transition committed.
Never on the first show (that is enter), never after a rolled-back
transition. It cannot fail; absent when the thing does nothing then.
ReadonlystateWhat continuing from it needs, from its input and data.
A screen declaration. The engine reads it when the screen is opened; the declaration itself sends nothing.