The standard library Threadkit_Os_Glue api defines the interface to an OS specific module that glues the various OS-specific scheduling operations together (i.e., timeouts, I/O, signals, etc).
The Threadkit_Os_Glue api is implemented by the threadkit_os_glue package.
The Threadkit_Os_Glue api source code is in src/lib/src/lib/thread-kit/src/posix/threadkit-os-glue.api.
The above information is manually maintained and may contain errors.
api { init : Void -> Void;
poll_os : Void -> Void;
pause : Void -> Bool;
shutdown : Void -> Void;
};