charon_lib::ast::krate

Macro mk_index_impls

source
macro_rules! mk_index_impls {
    ($ty:ident.$field:ident[$idx:ty]: $output:ty) => { ... };
}
Expand description

Delegate Index implementations to subfields.