diff options
Diffstat (limited to 'stdlib/arg.mli')
| -rw-r--r-- | stdlib/arg.mli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli index a7258ada68..8203e83133 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -58,7 +58,6 @@ type spec = call the function with the symbol *) | Rest of (string -> unit) (** Stop interpreting keywords and call the function with each remaining argument *) - (** The concrete type describing the behavior associated with a keyword. *) @@ -121,6 +120,13 @@ val usage : (key * spec * doc) list -> usage_msg -> unit {!Arg.parse} prints in case of error. [speclist] and [usage_msg] are the same as for [Arg.parse]. *) +val align: (key * spec * doc) list -> (key * spec * doc) list;; +(** Align the documentation strings by inserting spaces at the first + space, according to the length of the keyword. Use a + space as the first character in a doc string if you want to + align the whole string. The doc strings corresponding to + [Symbol] arguments are not aligned. *) + val current : int ref (** Position (in {!Sys.argv}) of the argument being processed. You can change this value, e.g. to force {!Arg.parse} to skip some arguments. |