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

biasFpExponent

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