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 ==

* <!ViewGitFile(mlton,master,mlton/core-ml/core-ml.sig)>
* <!ViewGitFile(mlton,master,mlton/core-ml/core-ml.fun)>

== Type Checking ==

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

== Details and Notes ==

{empty}
