@@ -99,6 +99,10 @@ should not necessarily be seen as production ready nor for industrial use.
9999 e.g. corei7 or cortex-m3.
100100 --color,--colour Force coloured output
101101 --nocolor,--nocolour Disable coloured output
102+ --optimise-nat-like-types,--optimize-nat-like-types
103+ Compile Nat-like types to big ints
104+ --no-optimise-nat-like-types,--no-optimize-nat-like-types
105+ Do not compile Nat-like types to big ints
102106 --consolewidth WIDTH Select console width: auto, infinite, nat
103107 --highlight Emit source code highlighting
104108 --no-tactic-deprecation-warnings