ksmt-core/io.ksmt/KContext/mkFp16NaN

mkFp16NaN

fun mkFp16NaN(): KFp16Value

Create FP16 NaN value.