@@ -21,8 +21,11 @@ Usage: ([--nobanner] | [-q|--quiet] | [--ide-mode] | [--ide-mode-socket] |
2121 [--codegen TARGET] | [--portable-codegen TARGET] | [--cg-opt ARG] |
2222 [-e|--eval EXPR] | [--execute] | [--exec EXPR] | [-X|--extension EXT] |
2323 [--O3] | [--O2] | [--O1] | [--O0] | [--partial-eval] |
24− [--no-partial-eval] | [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU]
25− | [--color|--colour] | [--nocolor|--nocolour] | [--consolewidth WIDTH] |
26− [--highlight] | [--no-tactic-deprecation-warnings] |
24+ [--no-partial-eval] |
25+ [--optimise-nat-like-types|--optimize-nat-like-types] |
26+ [--no-optimise-nat-like-types|--no-optimize-nat-like-types] |
27+ [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU] | [--color|--colour]
28+ | [--nocolor|--nocolour] | [--consolewidth WIDTH] | [--highlight] |
29+ [--no-tactic-deprecation-warnings] |
2730 [--allow-capitalized-pattern-variables]) [FILES] [-v|--version]
2831)