ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkFpSort
mk
Fp
Sort
open
fun
mkFpSort
(
exponentBits
:
UInt
,
significandBits
:
UInt
)
:
KFpSort
Create an arbitrary precision IEEE floating point sort (_ FloatingPoint
exponentBits
).