diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-04 19:44:57 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-04 19:44:57 +0100 |
commit | 67f4c2b66367d6a6f4c763f77d7b05fa9feee410 (patch) | |
tree | 3e03be9904577bd08536387d4dd27d86cafa8f6e /stdlib/arg.mli | |
parent | 17efc322537f6cc1cd07cc5d93d94733fcd41145 (diff) | |
download | ocaml-67f4c2b66367d6a6f4c763f77d7b05fa9feee410.tar.gz |
Terminated instead of seperated.
Diffstat (limited to 'stdlib/arg.mli')
-rw-r--r-- | stdlib/arg.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli index dd6e3d88a9..b68097b0a2 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -181,18 +181,18 @@ val current : int ref at the next element. *) val read_arg: string -> string array -(** [Arg.read_arg file] reads newline separated command line arguments from +(** [Arg.read_arg file] reads newline-terminated command line arguments from file [file]. *) val read_arg0: string -> string array -(** Identical to {!Arg.read_arg} but assumes null character separated command line +(** Identical to {!Arg.read_arg} but assumes null character terminated command line arguments. *) val write_arg: string -> string array -> unit -(** [Arg.write_arg file args] writes the arguments [args] newline separated +(** [Arg.write_arg file args] writes the arguments [args] newline-terminated into the file [file]. If the any of the arguments in [args] contains a newline, use {!Arg.write_arg0} instead. *) val write_arg0: string -> string array -> unit -(** Identical to {!Arg.write_arg} but uses the null character as separator instead - of newline. *) +(** Identical to {!Arg.write_arg} but uses the null character for terminator + instead of newline. *) |