Crate baa
Source - ArrayValue
- Owned Array Container.
- BitVecValue
- Owned bit-vector value.
Note: Ord does not necessarily order by value.
- BitVecValueIndex
- Index of a bit-vector value in a shared value store.
- BitVecValueMutRef
- BitVecValueRef
- Bit-vector value that does not own its storage.
- ParseIntError
- SparseArrayValue
- ValueInterner
- Ensures that each bit vector value gets a unique index. And each combination of value and
width will get a unique BitVecValueIndex
- Value
- Wraps either an array or a bit vector value.
- ArrayMutOps
- Operations implemented by mutable array values with a dense representation.
- ArrayOps
- Operations implemented by read-only array values with a dense representation.
- BitVecMutOps
- Operations over mutable bit-vector values.
- BitVecOps
- Operations over immutable bit-vector values.
- IndexToMutRef
- Implemented by value stores to convert indices into mutable value references.
- IndexToRef
- Implemented by a value stores to convert indices into value references.
- mask
- DoubleWord
- WidthInt
- This type restricts the maximum width that a bit-vector type is allowed to have.
- Word
- Word size for values.