pub trait ArrayOps {
// Required methods
fn index_width(&self) -> WidthInt;
fn data_width(&self) -> WidthInt;
fn select<'a>(&self, index: impl Into<BitVecValueRef<'a>>) -> BitVecValue;
// Provided methods
fn words_per_element(&self) -> usize { ... }
fn num_elements(&self) -> usize { ... }
}Expand description
Operations implemented by read-only array values with a dense representation.
Required Methods§
fn index_width(&self) -> WidthInt
fn data_width(&self) -> WidthInt
fn select<'a>(&self, index: impl Into<BitVecValueRef<'a>>) -> BitVecValue
Provided Methods§
fn words_per_element(&self) -> usize
fn num_elements(&self) -> usize
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.