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

fpMin

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