diff options
Diffstat (limited to 'lib/Commandline.mli')
| -rw-r--r-- | lib/Commandline.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Commandline.mli b/lib/Commandline.mli index cb9a7513..350a48ea 100644 --- a/lib/Commandline.mli +++ b/lib/Commandline.mli @@ -47,6 +47,11 @@ val parse_cmdline: (pattern * action) list -> unit and performs all [actions]. Raises [CmdError] if an error occurred. *) +val longopt: string -> (string -> unit) -> pattern * action +(** [longopt_int key fn] generates a pattern and an action for + options of the form [key=<text>] and calls [fn] with the string argument +*) + val longopt_int: string -> (int -> unit) -> pattern * action (** [longopt_int key fn] generates a pattern and an action for options of the form [key=<n>] and calls [fn] with the integer argument |