SML# Project

SML# Document Version 4.0.0
26 Standard ML Basis Library

26.23 OS

Provide interface functions to the underling operating system. 

signature OS =
sig
  structure FileSys : OS_FILE_SYS
  structure IO : OS_IO
  structure Path : OS_PATH
  structure Process : OS_PROCESS
  eqtype syserror
  exception SysErr of string * syserror option
  val errorMsg : syserror -> string
  val errorName : syserror -> string
  val syserror : string -> syserror option
end

Nested signatures

Structures that implement the signature

  • •

    OS : OS

    eqtype syserror (= int)
    structure FileSys = struct
      type dirstream (= boxed)
    end
    structure Process = struct
      type status = int
    end
    structure IO = struct
      type iodesc (= int)
      eqtype iodesc_kind (= word)
    end