ksmt-core/io.ksmt/KContext/mkFp32NaN

mkFp32NaN

fun mkFp32NaN(): KFp32Value

Create FP32 NaN value.