ksmt-core/io.ksmt.utils/ArithUtils/RealValue/mul

mul

fun mul(value: BigInteger): ArithUtils.RealValue
fun mul(other: ArithUtils.RealValue): ArithUtils.RealValue