ksmt-core/io.ksmt/KContext/mkFp128Decl

mkFp128Decl

fun mkFp128Decl(significandBits: KBitVecValue<*>, unbiasedExponent: KBitVecValue<*>, signBit: Boolean): KFp128Decl