ksmt-core/io.ksmt/KContext/mkFp128DeclBiased

mkFp128DeclBiased

fun mkFp128DeclBiased(significandBits: KBitVecValue<*>, biasedExponent: KBitVecValue<*>, signBit: Boolean): KFp128Decl