摘要
许可证
话题
会话CakeML_Codegen
ML_工具 编译器工具(_U) 代码_ tils 蛋糕ML_瓷砖 测试tils(_U) 文档术语(_T) 术语_附加 HOL_数据类型 建造师 选择常数 强术语(_T) 稳定层 Pterm公司 Term_as_值 价值 文档_蛋糕 纸杯蛋糕_Env CupCake_语义 文档_重写 常规_重写 重写术语 重写术语 重写_术语_限制 重写术语 重写术语 大步长术语 大步长值 大步长值ML 文档_预览 评估_类别 嵌入 评估_实例 文档后端(_B) CakeML_设置 CakeML_后端 CakeML_正确性 蛋糕ML_字节 文档编译器 组成 编译器 测试_合成 测试_打印 测试嵌入数据 测试嵌入数据2 测试嵌入树 测试数据类型