Lib.rs

Leo 程序的类型推理检查。

此模块包含一个 TypeInference 类型，该类型存储运行类型推理检查所需的信息。

可以从 LeoAst 类型和一个 Symbol Table 创建一个新的 TypeInference 类型。