ksmt-core/io.ksmt/KContext/mkBv16Sort

mkBv16Sort

fun mkBv16Sort(): KBv16Sort

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