The single optimization pass for the CoreML IntermediateLanguage is controlled by the Compile functor (compile.fun).

The following optimization pass is implemented: