ksmt-core/io.ksmt.utils/BvUtils/signedLess

signedLess

@JvmStatic
fun KBitVecValue<*>.signedLess(other: KBitVecValue<*>): Boolean