ksmt-core
0.5.23
ksmt-core
/
io.ksmt.sort
/
KFp16Sort
/
Companion
/
significandBits
significand
Bits
val
significandBits
:
UInt