1 unstable release
0.1.0-pre.1 |
|
---|---|
0.1.0-alpha.1 | Oct 7, 2024 |
#1578 in Procedural macros
1,538 downloads per month
Used in 4 crates
(via hax-lib)
79KB
1.5K
SLoC
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.
Dependencies
~1–2MB
~40K SLoC