We need special ops -- main, onerror, oncancel, and ontimeout
main(...) APIResut<...>, Event
Methods status for writing to status, -- events are implicit from main. Event is a special "datatype" where each event type in our event list is implicitly a subtype of Event when checking! Also need support in match.
We need special ops --
main,onerror,oncancel, andontimeoutMethods
statusfor writing to status, -- events are implicit from main.Eventis a special "datatype" where each event type in our event list is implicitly a subtype of Event when checking! Also need support inmatch.