Lib.rs

为 std 函数提供规范。通过导入此库并在根文件中添加 extern crate prusti_std;，可以避免编写 外部规范。此库不替代 prusti-contracts，您仍然需要导入后者来在您的库中编写合约。