Those are useful as the base case for things like `fold` when you are concatenating elements from an iterator. On top of that, I'd make the zero-sized `BitVecValue` the `Default`.
Those are useful as the base case for things like
foldwhen you are concatenating elements from an iterator.On top of that, I'd make the zero-sized
BitVecValuetheDefault.