[−][src]Module bv::adapter
Lazy bit vector adapters.
This module defines adapters for dealing with bit vectors and other
types that implement Bits. It also defines the adaptors that
are returned by methods of the extension trait BitsExt.
Structs
| BitAnd | The result of |
| BitConcat | The result of
|
| BitFill | Emulates a constant-valued bit-vector of a given size. |
| BitNot | The result of |
| BitOr | The result of |
| BitSliceAdapter | An adapter that turns any implementation of |
| BitXor | The result of |
| BitZip | The result of |
| BoolAdapter | Adapts a sequence of |