ksmt-core/io.ksmt/KContext/mkFp128NaN

mkFp128NaN

fun mkFp128NaN(): KFp128Value

Create FP128 NaN value.