ksmt-core/io.ksmt/KContext/mkBv8Sort

mkBv8Sort

fun mkBv8Sort(): KBv8Sort

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