-o, --output Output file
--no-cc Do not invoke C compiler
--make-flags Additional options to make
+ --compile-dir Directory used to generate temporary files
--hardening Generate contracts in the C code against bugs in the compiler
--no-shortcut-range Always insantiate a range and its iterator on 'for' loops
--no-check-covariance Disable type tests of covariant parameters (dangerous)
--bm-typing Colorize items incrementaly, used to simulate binary matrix typing
--phmod-typing Replace coloration by perfect hashing (with mod operator)
--phand-typing Replace coloration by perfect hashing (with and operator)
- --generic-resolution-tree Use tree representation for live generic types instead of flattened representation
+ --tables-metrics Enable static size measuring of tables used for vft, typing and resolution
--erasure Erase generic types
--no-check-erasure-cast Disable implicit casts on unsafe return with erasure-typing policy (dangerous)
+ --global Use global compilation
+ -m Additionals module to min-in