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

zeroExtension

@JvmStatic
fun KBitVecValue<*>.zeroExtension(extensionSize: UInt): KBitVecValue<*>