Some operations need to manipulate the front of the internal vector, which is not conducive with a Vec.
The limiting factor currently is we have implemented Deref for SymbolicBitVec into a slice, which a VecDeque cannot do. As a part of this issue we should remove that and replace it with implementations of the Index and other relevant slice traits instead.
Some operations need to manipulate the front of the internal vector, which is not conducive with a
Vec.The limiting factor currently is we have implemented
DerefforSymbolicBitVecinto a slice, which aVecDequecannot do. As a part of this issue we should remove that and replace it with implementations of theIndexand other relevant slice traits instead.