ksmt-core/io.ksmt.utils/ArithUtils/RealValue/isNegative

isNegative

fun isNegative(): Boolean