os.km 311 B

123456789101112131415161718
  1. module OS;
  2. public const
  3. Stdin := [I/O::InputStream] native 'Stdin';
  4. public const
  5. Stdout := [I/O::OutputStream] native 'Stdout';
  6. public const
  7. Stderr := [I/O::OutputStream] native 'Stderr';
  8. type ProcessExit protected Effect[(),()];
  9. public function exit {
  10. lambda(Uint8) ProcessExit:
  11. native 'exit'
  12. };