ksmt-core
0.5.23
ksmt-core
/
io.ksmt.sort
/
KFp128Sort
/
Companion
Companion
object
Companion
Properties
Properties
exponent
Bits
Link copied to clipboard
val
exponentBits
:
UInt
exponent
Shift
Size
Link copied to clipboard
const
val
exponentShiftSize
:
Int
=
16383
significand
Bits
Link copied to clipboard
val
significandBits
:
UInt