Lib.rs

从pint生成的合同ABI JSON生成项的宏。

此crate的入口点是

• from_file!
• from_str!

对于给定的合同，将生成以下项

• 一个表示 storage 的 mod。
• 对于每个 predicate，一个具有以下内容的模块
  • 一个 Vars 结构体，用于存储谓词的决定变量。
  • 一个 pub_vars 模块，用于存储谓词的公共决策变量。

生成项的目的是简化包括从高级类型中编码键、值和突变以构建解决方案的过程。简化构建包含 Mutation 和 Key 的 Solution 和查询的集合的过程。

查看 mutations 函数以开始构建一组 Mutations。

查看 keys 函数以开始构建一组 Keys。

Mutations 和 Keys 实现提供了一组构建器方法，允许从高级值将 Mutation 和 Key 写入内部 Vec。

可以通过使用 From<Mutations> 或 From<Keys> 转换实现来生成最终的 Vec<Mutation> 或 Vec<Key>。