Closed jubnzv closed 1 year ago
The internal implementation of Arg.parse_argv throws a Help exception if it see -help or --help key.
Arg.parse_argv
Help
-help
--help
See: https://github.com/ocaml/ocaml/blob/182fd48a41d5bb0ab80089065306342cdc6941c7/stdlib/arg.ml#L160
Closes #1201
The internal implementation of
Arg.parse_argv
throws aHelp
exception if it see-help
or--help
key.See: https://github.com/ocaml/ocaml/blob/182fd48a41d5bb0ab80089065306342cdc6941c7/stdlib/arg.ml#L160
Closes #1201