ksmt-core
0.5.23
ksmt-core
/
io.ksmt.sort
/
KFpRoundingModeSort
/
KFpRoundingModeSort
KFp
Rounding
Mode
Sort
fun
KFpRoundingModeSort
(
ctx
:
KContext
)