diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-11-30 22:15:11 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-11-30 22:15:11 +0000 |
| commit | 1ed1b20201e49666e37baff57099d9f4a190c440 (patch) | |
| tree | 5ca9fca4a5f4a2e108efef256949882b1dab4f9a /stdlib | |
| parent | 33f242aaea3d761fb524c61855f677560c97069a (diff) | |
PR#6245: Minor inconsistencies between related signatures in arg.mli
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/arg.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 869d030e2..e6e07316d 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -94,7 +94,7 @@ val parse : *) val parse_dynamic : - (string * spec * string) list ref -> anon_fun -> string -> unit + (key * spec * doc) list ref -> anon_fun -> string -> unit (** Same as {!Arg.parse}, except that the [speclist] argument is a reference and may be updated during the parsing. A typical use for this feature is to parse command lines of the form: @@ -116,7 +116,7 @@ val parse_argv : ?current: int ref -> string array -> *) val parse_argv_dynamic : ?current:int ref -> string array -> - (string * spec * string) list ref -> anon_fun -> string -> unit + (key * spec * doc) list ref -> anon_fun -> string -> unit (** Same as {!Arg.parse_argv}, except that the [speclist] argument is a reference and may be updated during the parsing. See {!Arg.parse_dynamic}. |