ksmt-core/io.ksmt/KContext/mkFpRoundingModeExpr

mkFpRoundingModeExpr

fun mkFpRoundingModeExpr(value: KFpRoundingMode): KFpRoundingModeExpr

Create Fp rounding mode.

See also