@[deprecated BitVec.eq_nil]
Alias of BitVec.eq_nil
.
Every bitvector of length 0 is equal to nil
, i.e., there is only one empty bitvector
Alias of BitVec.eq_nil
.
Every bitvector of length 0 is equal to nil
, i.e., there is only one empty bitvector