Sys (infer.IStdlib.IStd.Sys)

val get_argv : unit -> string array

val argv : string array

deprecated [since 2019-08] Use [Sys.get_argv] instead, which has the correct behavior when [caml_sys_modify_argv] is called.

val interactive : bool Stdlib.ref

val os_type : string

val unix : bool

val win32 : bool

val cygwin : bool

type backend_type = Base__.Sys0.backend_type =

| Native
| Bytecode
| Other of string

val backend_type : backend_type

val word_size_in_bits : int

val int_size_in_bits : int

val big_endian : bool

val max_string_length : int

val max_array_length : int

val runtime_variant : unit -> string

val runtime_parameters : unit -> string

val ocaml_version : string

val enable_runtime_warnings : bool -> unit

val runtime_warnings_enabled : unit -> bool

val getenv : string -> string option

val getenv_exn : string -> string

val opaque_identity : 'a -> 'a

val opaque_identity_global : 'a -> 'a

val quote : Core__.Import.string -> Core__.Import.string

val concat_quoted : 
  Core__.Import.string Core__.Import.list ->
  Core__.Import.string

exception Break

deprecated [since 2021-04] Use [Sys_unix]

module Private : sig ... end

include module type of struct include Sys_unix end

val executable_name : string

val file_exists : ?follow_symlinks:bool -> string -> [ `No | `Unknown | `Yes ]

val file_exists_exn : ?follow_symlinks:bool -> string -> bool

val is_directory : ?follow_symlinks:bool -> string -> [ `No | `Unknown | `Yes ]

val is_file : ?follow_symlinks:bool -> string -> [ `No | `Unknown | `Yes ]

val is_directory_exn : ?follow_symlinks:bool -> string -> bool

val is_file_exn : ?follow_symlinks:bool -> string -> bool

val remove : string -> unit

val rename : string -> string -> unit

val unsafe_getenv : string -> string option

val unsafe_getenv_exn : string -> string

val command : string -> int

val command_exn : string -> unit

val chdir : string -> unit

val getcwd : unit -> string

val readdir : string -> string array

val fold_dir : init:'acc -> f:('acc -> string -> 'acc) -> string -> 'acc

val ls_dir : string -> string list

exception Break

val catch_break : bool -> unit

val with_async_exns : (unit -> 'a) -> 'a

val execution_mode : unit -> [ `Bytecode | `Native ]

val c_int_size : unit -> int

val home_directory : unit -> string

val override_argv : string array -> unit