逻辑合格的数据类型 该存储库包含在Rust的上的实现，该实现基于ML的隐式类型的变体。 建造 此项目需要在库搜索路径中具有库。 跑 例如， examples/max3.ml定义一个函数max并将其应用于两个参数： let max = fun x -> fun y -> if x > y then x else y in max 1 - 3 您可以通过运行以下命令来推断该程序的液体类型： $ target/debug/liquid-types examples/max3.m