@@ -10,23 +10,23 @@ discussion: |
10
10
works as well as example parsers and links to API docs .
11
11
---
12
12
(* The Cmdliner package offers a sophisticated compositional way of handling
13
- command-line parsing. It handles options, positional arguments and
14
- sub-commands . It will automatically generate help and a man-page .
13
+ command-line parsing. It handles options, positional arguments, and
14
+ subcommands . It will automatically generate help and a manpage .
15
15
16
- The core of our application in this recipe is the `greeter` function -
16
+ The core of our application in this recipe is the `greeter` function.
17
17
Cmdliner will call this for us.
18
18
19
- For `num_repeats` we want an optional integer (with a default of 1)
19
+ For `num_repeats`, we want an optional integer (with a default of 1)
20
20
21
- For the `names` we want all the positional arguments in a list.
21
+ For the `names`, we want all the positional arguments in a list.
22
22
23
23
The top-level `Term` of our parser-definition combines the function to call
24
24
along with the arguments to parse.
25
25
26
26
The `cmd` represents the body of our application.
27
27
28
- Try to parse the command- line and call "greeter" if successful. If not,
29
- prints formatted help-text and returns a non-zero exit code.
28
+ Try to parse the command line and call "greeter" if successful. If not,
29
+ it prints formatted help-text and returns a non-zero exit code.
30
30
*)
31
31
open Cmdliner
32
32
0 commit comments