## MLton 20241230+git20251029+dfsg-5

# 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

- `core-ml.sig`

- `core-ml.fun`

## Type Checking

The CoreML IntermediateLanguage has no independent type checker.

## Details and Notes