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

fpAdd

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