The parts of a screen or item definition its handle is made of. Its state
is not read: the handle's actions are typed by what binding returns, so a
handle type never waits for the inference of the definition's state (two
definitions that lead to each other stay typeable).
The parts of a screen or item definition its handle is made of. Its state is not read: the handle's actions are typed by what binding returns, so a handle type never waits for the inference of the definition's state (two definitions that lead to each other stay typeable).