mk
open fun <T : KFpSort> mkFpMulExprNoSimplify(roundingMode: KExpr<KFpRoundingModeSort>, arg0: KExpr<T>, arg1: KExpr<T>): KFpMulExpr<T>
Create Fp multiplication (fp.mul) expression. The result is rounded according to the provided roundingMode.