ksmt-core/io.ksmt.expr/KFpToFpExpr/roundingMode

roundingMode

val roundingMode: KExpr<KFpRoundingModeSort>