diff options
Diffstat (limited to 'stdlib/sys.ml')
| -rw-r--r-- | stdlib/sys.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index b6172e418..79a40d9b3 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -1,18 +1,12 @@ (* System interface *) -type open_flag = - Open_rdonly | Open_wronly | Open_rdwr - | Open_append | Open_creat | Open_trunc | Open_excl - | Open_binary | Open_text - external get_argv: unit -> string array = "sys_get_argv" let argv = get_argv() +external file_exists: string -> bool = "sys_file_exists" external remove: string -> unit = "sys_remove" external getenv: string -> string = "sys_getenv" -external open_desc: string -> open_flag list -> int -> int = "sys_open" -external close_desc: int -> unit = "sys_close" external command: string -> int = "sys_system_command" external chdir: string -> unit = "sys_chdir" |