Lib.rs

Leo程序中的符号表。

此模块包含SymbolTable类型，这是一个抽象数据类型，用于跟踪Leo程序中函数和电路的当前绑定。

可以从LeoAst的引用创建一个新的[Symbol Table]类型。可以使用[Symbol Table]类型创建一个新的TypeInference类型。