定义

• 颜色集 - 简单、复杂和 定时颜色集, 颜色集功能, 颜色集的大小和复杂程度。
• 变量
• 功能 - 功能, 本地定义 (let-in-end), 控制结构 (if-then-else, case)
• 值(变量)
• 标识符
• 从文件中下载定义 - 使用定义
• 例子定义

多重集

• 多重集
• 赋时多重集

注入式和表达

• 注入式

运行环境

• 标准 ML 基础库
• 随机分布函数