The handles of the screens of Registry that can open the screen Id — the
union read from the registry's reverse edges, its items' edges included. It
types the back of every handle of the screen: a handle's type carries no
path, so back() returns any of these screens, and the user narrows with
XxxScreen.is(handle) or handle.id. A screen nothing opens yields never.
Each opener is the screen's handle reached from anywhere (its own origin is
the generic ScreenHandle).
A handle opened from one of their items has that item as its origin (its
host is the frame below), so a handle's origin is these screens and
their items (ScreenItemOpenersOf):
ScreenInstance<TheScreen, ScreenOpenersOf<Registry, 'TheScreen'> | ScreenItemOpenersOf<Registry, 'TheScreen'>>
is that handle, and its back() returns these screens. An edge's handle is
typed this way (ScreenEdgeTaken).
The handles of the screens of
Registrythat can open the screenId— the union read from the registry's reverse edges, its items' edges included. It types thebackof every handle of the screen: a handle's type carries no path, soback()returns any of these screens, and the user narrows withXxxScreen.is(handle)orhandle.id. A screen nothing opens yieldsnever. Each opener is the screen's handle reached from anywhere (its own origin is the generic ScreenHandle).A handle opened from one of their items has that item as its
origin(its host is the frame below), so a handle's origin is these screens and their items (ScreenItemOpenersOf):ScreenInstance<TheScreen, ScreenOpenersOf<Registry, 'TheScreen'> | ScreenItemOpenersOf<Registry, 'TheScreen'>>is that handle, and itsback()returns these screens. An edge's handle is typed this way (ScreenEdgeTaken).