Type Alias ScreenStateFits<D>

ScreenStateFits: (
    D extends {
        actions: infer Actions;
        state: (opened: never) => infer State;
    }
        ? StateFitsActions<Actions, State>
        : unknown
) & (
    D extends { items: infer Items }
        ? ItemsStateFits<
            {
                readonly [K in keyof Exclude<Items, undefined>]: ScreenItemsOfList<
                    Exclude<Items, undefined>[K],
                >
            }[keyof Exclude<Items, undefined>],
        > & (
            D extends { state: (opened: never) => infer State }
                ? ItemsHostFit<
                    {
                        readonly [K in keyof Exclude<(...), (...)>]: ScreenItemsOfList<
                            (...)[(...)],
                        >
                    }[keyof Exclude<Items, undefined>],
                    State,
                >
                : unknown
        )
        : unknown
)