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>],
        >
        : unknown
)