let+
let+ x = xs in f x
corresponds to map (fun x -> f x) xs
@@
%%VERSION%%
Man page 'flags' provided by Cmdliner:
`S | section |
`P | paragraph |
`I | label-text paragraph |
`Pre | pre-formatted text |
`Noblank | suppress blank line between 2 blocks |
`Blocks | list of (more) blocks |
From https://erratique.ch/software/cmdliner/doc/Cmdliner/Manpage/index.html
$(i, text)
$(b, text)
https://erratique.ch/software/cmdliner/doc/tool_man.html#doclang
–
$(tname)
: term name (ie, command name?)$(mname)
: main command name$(iname)
https://erratique.ch/software/cmdliner/doc/Cmdliner/Cmd/index.html#info
–
eval_ok
: type for successful evaluationeval_error
: type for unsuccessful evaluationhttps://erratique.ch/software/cmdliner/doc/Cmdliner/Cmd/index.html#eval_low
Term
const value
: a Term
that evaluates to value
($)
/ app
: function application with respect to Term
Evaluate Term
to get Result
, which can be used to get an exit status.
Env
Term.env_info
val info: ?deprecated:string -> ?docs:string -> ?doc:string -> var -> info
Cmd
val v : info -> 'a Term.t -> 'a t
v i t
is a command with information i and command line syntax parsed by Cmd.t
.Arg
Converters:
Hardcaml.Rtl
: https://github.com/janestreet/hardcaml/blob/master/docs/rtl_generation.mdhttps://github.com/janestreet/hardcaml/blob/master/docs/combinational_logic.md
(+:)
: addition(-:)
: subtraction(*:)
: unsigned multiplication(*+)
: signed multiplication(&:)
: logical and(|:)
: logical or(^:)
: logical xor(
:)~: logical notVectors:
select v ~high:3 ~low:2
or v.:[3,2]
v1 @ v2
https://discuss.ocaml.org/t/in-menhir-the-meaning-of-uminus/9054
An annotation of the form %prec id indicates that the precedence level of the production group is the level assigned to the symbol id via a previous %nonassoc, %left, or %right declaration.
Parser
which may be used in the lex file