hax-lib-macros 0.3.7

Hax-specific proc-macros for Rust programs
Documentation 
1
2
3
4
5
6
7
8
9
10

// Proc-macros must "reside in the root of the crate": whence the use
// of `std::include!` instead of proper module declaration.

#![cfg_attr(hax, feature(macro_metavar_expr_concat))]

#[cfg(hax)]
std::include!("implementation.rs");

#[cfg(not(hax))]
std::include!("dummy.rs");