diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
commit | 623e2fbc005eec3bc79bbd81b8cff39ad5458f32 (patch) | |
tree | 93fe20d291da158bd38dbfe76c7388ef50088142 /stdlib/sys.mli | |
parent | 1953de21ef74e21a814e5ea6323e25aae1ade520 (diff) |
Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/sys.mli')
-rw-r--r-- | stdlib/sys.mli | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/stdlib/sys.mli b/stdlib/sys.mli index b6332a14a..99c5e9375 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -1,15 +1,9 @@ (* System interface *) -type open_flag = - Open_rdonly | Open_wronly | Open_rdwr - | Open_append | Open_creat | Open_trunc | Open_excl - | Open_binary | Open_text - val argv: string array +val file_exists: string -> bool = "sys_file_exists" val remove: string -> unit = "sys_remove" val getenv: string -> string = "sys_getenv" -val open_desc: string -> open_flag list -> int -> int = "sys_open" -val close_desc: int -> unit = "sys_close" val command: string -> int = "sys_system_command" val chdir: string -> unit = "sys_chdir" |