`sig
external argv : string array = "%sys_argv"
val executable_name : string
val runtime_executable : string
external file_exists : string -> bool = "caml_sys_file_exists"
external is_directory : string -> bool = "caml_sys_is_directory"
external is_regular_file : string -> bool = "caml_sys_is_regular_file"
external remove : string -> unit = "caml_sys_remove"
external rename : string -> string -> unit = "caml_sys_rename"
external getenv : string -> string = "caml_sys_getenv"
val getenv_opt : string -> string option
external command : string -> int = "caml_sys_system_command"
external time : unit -> (float [@unboxed]) = "caml_sys_time"
"caml_sys_time_unboxed" [@@noalloc]
external chdir : string -> unit = "caml_sys_chdir"
external mkdir : string -> int -> unit = "caml_sys_mkdir"
external rmdir : string -> unit = "caml_sys_rmdir"
external getcwd : unit -> string = "caml_sys_getcwd"
external readdir : string -> string array = "caml_sys_read_directory"
val io_buffer_size : int
val interactive : bool Stdlib.ref
val os_type : string
type backend_type = Native | Bytecode | Other of string
val backend_type : Sys.backend_type
val unix : bool
val win32 : bool
val cygwin : bool
val word_size : int
val int_size : int
val big_endian : bool
val max_string_length : int
val max_array_length : int
val max_floatarray_length : int
external runtime_variant : unit -> string = "caml_runtime_variant"
external runtime_parameters : unit -> string = "caml_runtime_parameters"
external poll_actions : unit -> unit = "%poll"
type signal = int
type signal_behavior =
Signal_default
| Signal_ignore
| Signal_handle of (Sys.signal -> unit)
external signal : Sys.signal -> Sys.signal_behavior -> Sys.signal_behavior
= "caml_install_signal_handler"
val set_signal : Sys.signal -> Sys.signal_behavior -> unit
val sigabrt : Sys.signal
val sigalrm : Sys.signal
val sigfpe : Sys.signal
val sighup : Sys.signal
val sigill : Sys.signal
val sigint : Sys.signal
val sigkill : Sys.signal
val sigpipe : Sys.signal
val sigquit : Sys.signal
val sigsegv : Sys.signal
val sigterm : Sys.signal
val sigusr1 : Sys.signal
val sigusr2 : Sys.signal
val sigchld : Sys.signal
val sigcont : Sys.signal
val sigstop : Sys.signal
val sigtstp : Sys.signal
val sigttin : Sys.signal
val sigttou : Sys.signal
val sigvtalrm : Sys.signal
val sigprof : Sys.signal
val sigbus : Sys.signal
val sigpoll : Sys.signal
val sigsys : Sys.signal
val sigtrap : Sys.signal
val sigurg : Sys.signal
val sigxcpu : Sys.signal
val sigxfsz : Sys.signal
val sigio : Sys.signal
val sigwinch : Sys.signal
val signal_to_string : Sys.signal -> string
val signal_of_int : int -> Sys.signal
val signal_to_int : Sys.signal -> int
exception Break
val catch_break : bool -> unit
val ocaml_version : string
val development_version : bool
type extra_prefix = Plus | Tilde
type extra_info = Sys.extra_prefix * string
type ocaml_release_info = {
major : int;
minor : int;
patchlevel : int;
extra : Sys.extra_info option;
}
val ocaml_release : Sys.ocaml_release_info
val enable_runtime_warnings : bool -> unit
val runtime_warnings_enabled : unit -> bool
external opaque_identity : 'a -> 'a = "%opaque"
module Immediate64 :
sig
module type Non_immediate = sig type t end
module type Immediate = sig type t [@@immediate] end
module Make :
(Immediate : Immediate) (Non_immediate : Non_immediate) ->
sig
type t [@@immediate64]
type 'a repr =
Immediate :
Sys.Immediate64.Immediate.t Sys.Immediate64.Make.repr
| Non_immediate :
Sys.Immediate64.Non_immediate.t Sys.Immediate64.Make.repr
val repr : Sys.Immediate64.Make.t Sys.Immediate64.Make.repr
end
end
end`