ksmt-core/io.ksmt/KContext/mkFp64NaN

mkFp64NaN

fun mkFp64NaN(): KFp64Value

Create FP64 NaN value.