The CCodegen is a code generator that translates the
Machine IntermediateLanguage to C, which is further optimized
and compiled to native object code by gcc
(or another C compiler).
Implementation
Details and Notes
The CCodegen is the original code generator for MLton.