ksmt-core/io.ksmt/KContext/mkBv1Sort

mkBv1Sort

fun mkBv1Sort(): KBv1Sort

Create a BitVec sort with 1 bit length (_ BitVec 1).