Skip to main content

warning

charon_driver::hax::utils::error_macros

Macro warning 

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