Previous Contents Next
19.32 Module Sys: system interface


val argv: string array
The command line arguments given to the process. The first element is the command name used to invoke the program. The following elements are the command-line arguments given to the program.
val file_exists: string -> bool
Test if a file with the given name exists.
val remove: string -> unit
Remove the given file name from the file system.
val rename: string -> string -> unit
Rename a file. The first argument is the old name and the second is the new name.
val getenv: string -> string
Return the value associated to a variable in the process environment. Raise Not_found if the variable is unbound.
val command: string -> int
Execute the given shell command and return its exit code.
val time: unit -> float
Return the processor time, in seconds, used by the program since the beginning of execution.
val chdir: string -> unit
Change the current working directory of the process.
val getcwd: unit -> string
Return the current working directory of the process.
val interactive: bool ref
This reference is initially set to false in standalone programs and to true if the code is being executed under the interactive toplevel system ocaml.
val os_type: string
Operating system currently executing the Caml program. One of "Unix", "Win32", "Cygwin" or "MacOS".
val word_size: int
Size of one word on the machine currently executing the Caml program, in bits: 32 or 64.
val max_string_length: int
Maximum length of a string.
val max_array_length: int
Maximum length of an array.
Signal handling
type signal_behavior =
    Signal_default
  | Signal_ignore
  | Signal_handle of (int -> unit)
What to do when receiving a signal:
Signal_default: take the default behavior (usually: abort the program)
Signal_ignore: ignore the signal
Signal_handle f: call function f, giving it the signal number as argument