ksmt-core/io.ksmt/KContext/mkFpInf

mkFpInf

fun <T : KFpSort> mkFpInf(signBit: Boolean, sort: T): KFpValue<T>

Create Fp Inf value with signBit sign.