# hax proc macros
Hax-specific proc-macros for Rust programs.
This crate defines proc macros to be used in Rust programs that are extracted with
hax.
It provides proc macros such as `requires` and `ensures` to define pre- and post-conditions
for functions.