Crate baa

Structs

• 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

Enums

• Value
  Wraps either an array or a bit vector value.

Traits

• 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.

Functions

• mask

Type Aliases

• DoubleWord
• WidthInt
  This type restricts the maximum width that a bit-vector type is allowed to have.
• Word
  Word size for values.