ksmt-core/io.ksmt/KContext/mkFpNaN

mkFpNaN

fun <T : KFpSort> mkFpNaN(sort: T): KFpValue<T>

Create Fp NaN value.