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

fpStructurallyEqual

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