hax_lib

Macro debug_assert

Source 
macro_rules! debug_assert {
    ($($arg:tt)*) => { ... };
}