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

fpMax

fun fpMax(lhs: KFpValue<*>, rhs: KFpValue<*>): KFpValue<*>