leo-asg

lib.rs:

Leo程序的抽象语义图（ASG）。

此模块包含 [Asg] 类型，它是一个抽象数据类型，将Leo程序表示为一系列图节点。与 [Ast] 相比，[Asg] 类型具有更高的抽象层次。

可以从 [Ast] 创建新的 [Asg] 类型。转换为 [Asg] 通过规范化和检查程序类型提供了更高的类型安全性。