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

signedGreater

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