Trait ExBitSliceIndex 

pub trait ExBitSliceIndex<'a, T: BitStore, O: BitOrder> {
    type ExternalTraitSpecificationFor: BitSliceIndex<'a, T, O>;
    type Immut;
    type Mut;
}

Verus declaration for bitvec’s BitSliceIndex trait. Only the associated types are surfaced; id-alloc uses the Range<usize> instance, whose Immut is a &BitSlice.

Required Associated Types

type ExternalTraitSpecificationFor: BitSliceIndex<'a, T, O>

type Immut

type Mut

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors