ksmt-core/io.ksmt/KContext/mkFpZero

mkFpZero

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

Create Fp zero value with signBit sign.