bvSort function

BitVecSort bvSort(
  1. int width
)

Implementation

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