hax_lib_macros/
lib.rs

1
2
3
4
5
6
7
8
// Proc-macros must "reside in the root of the crate": whence the use
// of `std::include!` instead of proper module declaration.

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

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