ksmt-core/io.ksmt/KContext/mkBv64Sort

mkBv64Sort

fun mkBv64Sort(): KBv64Sort

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