Readonlymain: AndroidIgpapiMain<Screen, A, E, R>What the caller does with the process, from the first screen on.
Optional Readonlyotherwise?: AndroidOtherwise<unknown>The screens the app can show instead of the expected one, built once with
defineOtherwise: over the start and over every effect the screens
run inside main, each branch answers its screen until the challenge
closes, and the interrupted effect runs again. What the branches cannot
settle rejects the call with its typed error (UnexpectedScreenError for a
screen no branch covers), never main's channel.
Everything an entry takes is one object: the options of the process, the stored value where the entry has one, the expected
screenwhere the entry can name one, theotherwisebranches, thesignal, andmain.