使用Prusti指定合同的工具
Prusti内部用于解析规格的crate
为Prusti的std中的项目提供的外部规格
Prusti内部proc-macro crate
proc-macro
尝试使用DuckDuckGo搜索。