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

unsignedLess

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