basis-library/posix/posix.sig

   1 signature POSIX =
   2    sig
   3       structure Error: POSIX_ERROR
   4       structure FileSys: POSIX_FILE_SYS
   5       structure IO: POSIX_IO
   6       structure ProcEnv: POSIX_PROC_ENV
   7       structure Process: POSIX_PROCESS
   8       structure Signal: POSIX_SIGNAL
   9       structure SysDB: POSIX_SYS_DB
  10       structure TTY: POSIX_TTY
  11
  12       sharing type FileSys.file_desc = ProcEnv.file_desc = IO.file_desc = TTY.file_desc
  13       sharing type ProcEnv.gid = FileSys.gid = SysDB.gid
  14       sharing type FileSys.open_mode = IO.open_mode
  15       sharing type Process.pid = ProcEnv.pid = IO.pid = TTY.pid
  16       sharing type Process.signal = Signal.signal
  17       sharing type ProcEnv.uid = FileSys.uid = SysDB.uid
  18    end
  19
  20 signature POSIX_EXTRA =
  21    sig
  22       structure Error: POSIX_ERROR_EXTRA
  23       structure FileSys: POSIX_FILE_SYS_EXTRA
  24       structure IO: POSIX_IO
  25       structure ProcEnv: POSIX_PROC_ENV
  26       structure Process: POSIX_PROCESS_EXTRA
  27       structure Signal: POSIX_SIGNAL_EXTRA
  28       structure SysDB: POSIX_SYS_DB
  29       structure TTY: POSIX_TTY
  30
  31       sharing type FileSys.file_desc = ProcEnv.file_desc = IO.file_desc = TTY.file_desc
  32       sharing type ProcEnv.gid = FileSys.gid = SysDB.gid
  33       sharing type FileSys.open_mode = IO.open_mode
  34       sharing type Process.pid = ProcEnv.pid = IO.pid = TTY.pid
  35       sharing type Process.signal = Signal.signal
  36       sharing type ProcEnv.uid = FileSys.uid = SysDB.uid
  37    end