ksmt-core/io.ksmt/KContext/mkBvSort

mkBvSort

open fun mkBvSort(sizeBits: UInt): KBvSort

Create a BitVec sort with sizeBits bits length (_ BitVec sizeBits).