hax_lib/lib.rs
1#![doc = include_str!("../README.md")]
2#![no_std]
3
4#[cfg(feature = "macros")]
5mod proc_macros;
6
7// hax engine relies on `hax-lib` names: to avoid cluttering names with
8// an additional `implementation` in all paths, we `include!` instead
9// of doing conditional `mod` and `pub use`.
10
11#[cfg(not(hax))]
12core::include!("dummy.rs");
13#[cfg(hax)]
14core::include!("implementation.rs");