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

isPositive

fun KFpValue<*>.isPositive(): Boolean