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