bvSort function

BitVecSort bvSort(
  1. int width
)

The type of a bit-vector with the given width.

Implementation

BitVecSort bvSort(int width) => BitVecSort(width).declare();