ADT 目前实现了一个简易的模式匹配穷尽性检查, dune test 以查看测试结果. 代码结构 语法定义 ./lib/Syntax.ml 静态检查 ./lib/Statics.ml 测试样例 ./test/test.ml