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

fpNegate

fun fpNegate(expr: KFpValue<*>): KFpValue<*>