= CoreML

<<CoreML#,Core ML>> is an <<IntermediateLanguage#>>, translated from
<<AST#>> by <<Elaborate#>>, optimized by <<CoreMLSimplify#>>, and
translated by <<Defunctorize#>> to <<XML#>>.

== Description

<<CoreML#>> is polymorphic, higher-order, and has nested patterns.

== Implementation

* https://github.com/MLton/mlton/blob/master/mlton/core-ml/core-ml.sig[`core-ml.sig`]
* https://github.com/MLton/mlton/blob/master/mlton/core-ml/core-ml.fun[`core-ml.fun`]

== Type Checking

The <<CoreML#>> <<IntermediateLanguage#>> has no independent type
checker.

== Details and Notes

{empty}
