ksmt-core/io.ksmt.utils/FpUtils/fpMul

fpMul

fun fpMul(rm: KFpRoundingMode, lhs: KFpValue<*>, rhs: KFpValue<*>): KFpValue<*>