ksmt-core/io.ksmt.utils/FpUtils/unbiasFpExponent

unbiasFpExponent

fun unbiasFpExponent(exponent: KBitVecValue<*>, exponentSize: UInt): KBitVecValue<*>