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

signExtension

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