Trait rustc_ap_rustc_index::vec::Idx [−][src]
pub trait Idx: Copy + 'static + Ord + Debug + Hash { fn new(idx: usize) -> Self; fn index(self) -> usize; fn increment_by(&mut self, amount: usize) { ... } fn plus(self, amount: usize) -> Self { ... } }
Represents some newtyped usize
wrapper.
Purpose: avoid mixing indexes for different bitvector domains.