ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkBv32Sort
mk
Bv32Sort
fun
mkBv32Sort
(
)
:
KBv32Sort
Create a BitVec sort with 32 bits length (_ BitVec 32).