StateFitsActions:{ readonly[KinkeyofActions]:Actions[K]extends( self:ScreenHandle, state:inferTaken, )=>unknown ?[Taken]extends[never]?never:[State]extends[Taken]?never:K :never }[keyofActions]extendsinferMisfit ?[Misfit]extends[never] ?unknown :{"these actions do not take the state":Misfit} :unknown
Every action and edge takes the state the definition derives: the engine
hands each the state state returned. An action whose state parameter does
not accept it is a type error in the platform's screenSet, which names the
actions — for a screen and for every item its lists show. It is not checked
where the definition is declared: there, a check naming the state would make
the inference of definitions that lead to each other circular.
Every action and edge takes the state the definition derives: the engine hands each the state
statereturned. An action whose state parameter does not accept it is a type error in the platform'sscreenSet, which names the actions — for a screen and for every item its lists show. It is not checked where the definition is declared: there, a check naming the state would make the inference of definitions that lead to each other circular.