hax_frontend_exporter::index_vec

Macro make_idx_wrapper

source
macro_rules! make_idx_wrapper {
    ($($mod:ident)::+, $type:ident) => { ... };
}