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

concatBv

@JvmStatic
fun concatBv(lhs: KBitVecValue<*>, rhs: KBitVecValue<*>): KBitVecValue<*>