Macro charon_lib::ast::krate::mk_index_impls

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

Delegate Index implementations to subfields.