Discriminated union received by a handler that is not tied to one channel.
Narrow on event.type before using channel-specific controls. A callback in
HighsCallbackMap is usually preferable because its numeric key selects the
narrower CallbackEventFor<T> automatically.
Discriminated union received by a handler that is not tied to one channel. Narrow on
event.typebefore using channel-specific controls. A callback inHighsCallbackMapis usually preferable because its numeric key selects the narrowerCallbackEventFor<T>automatically.