signature MLTON_IO =
   sig
      type instream
      type outstream

      val inFd: instream -> Posix.IO.file_desc
      val mkstemp: string -> string * outstream
      val mkstemps: {prefix: string, suffix: string} -> string * outstream
      val newIn: Posix.IO.file_desc * string -> instream
      val newOut: Posix.IO.file_desc * string -> outstream
      val outFd: outstream -> Posix.IO.file_desc
   end

• inFd ins

returns the file descriptor corresponding to ins.

• mkstemp s

like the C mkstemp function, generates and open a temporary file with prefix s.

• mkstemps {prefix, suffix} 

like mkstemp, except it has both a prefix and suffix.

• newIn (fd, name)

creates a new instream from file descriptor fd, with name used in any Io exceptions later raised.

• newOut (fd, name)

creates a new outstream from file descriptor fd, with name used in any Io exceptions later raised.

• outFd out

returns the file descriptor corresponding to out.