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

fpEq

fun fpEq(lhs: KFpValue<*>, rhs: KFpValue<*>): Boolean