hax_lib_macros/
lib.rs

1// Proc-macros must "reside in the root of the crate": whence the use
2// of `std::include!` instead of proper module declaration.
3
4#![cfg_attr(hax, feature(macro_metavar_expr_concat))]
5
6#[cfg(hax)]
7std::include!("implementation.rs");
8
9#[cfg(not(hax))]
10std::include!("dummy.rs");