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

extractBv

@JvmStatic
fun KBitVecValue<*>.extractBv(high: Int, low: Int): KBitVecValue<*>