hax过程宏

Hax特定的Rust程序过程宏。

此crate定义了用于从hax提取的Rust程序的过程宏。它提供了例如requires和ensures的过程宏，用于定义函数的前后条件。