ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyFpIsNaNExpr

simplifyFpIsNaNExpr

fun <T : KFpSort> KContext.simplifyFpIsNaNExpr(arg: KExpr<T>): KExpr<KBoolSort>