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

signedLessOrEqual

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