The standard library Threadkit_Io_Manager api defines an internal support facility used by multithreaded Mythryl programs. It is not normally of direct interest to the application programmer.
The Threadkit_Io_Manager api is implemented by the threadkit_io_manager package.
The Threadkit_Io_Manager api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit-io-manager.api.
The above information is manually maintained and may contain errors.
api { Io_Descriptor ;
Wait_Request ;
Wait_Result ;
io_mailop : Wait_Request -> Mailop(Wait_Result );
poll_io : Void -> Void;
any_waiting : Void -> Bool;
};