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

signBit

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