ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkFp64Sort
mk
Fp64Sort
fun
mkFp64Sort
(
)
:
KFp64Sort
Create a 64-bit IEEE floating point sort (_ FloatingPoint 11 53).