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

unsignedGreater

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