Trait ExIndex

Source

pub trait ExIndex<Idx>where
    Idx: ?Sized,{
    type ExternalTraitSpecificationFor: Index<Idx>;
    type Output: ?Sized;

    // Required methods
    spec fn index_req(&self, index: &Idx) -> bool;
    exec fn index(&self, index: Idx) -> output : &Self::Output
       where Idx: Sized;
}