diff options
Diffstat (limited to 'stdlib/arg.mli')
| -rw-r--r-- | stdlib/arg.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 22eda40b74..0999edf5f3 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -140,12 +140,15 @@ val usage_string : (key * spec * doc) list -> usage_msg -> string (** Returns the message that would have been printed by {!Arg.usage}, if provided with the same parameters. *) -val align: (key * spec * doc) list -> (key * spec * doc) list;; +val align: ?limit: int -> (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 aligned on the next line. *) + [Symbol] arguments are aligned on the next line. + @param limit options with keyword and message longer than + [limit] will not be used to compute the alignement. +*) val current : int ref (** Position (in {!Sys.argv}) of the argument being processed. You can |