⚠️ (deprecated) Legacy External Output Loader: This page is (deprecated) because it fetches an old external raw HTML snapshot without MathJax LaTeX compilation, ANSI color code conversion, or live Standard ML kernel synchronization. Please use the canonical ML-generated manual generated/manual.html or the live interactive demonstration embedding.html instead.