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

simplifyFpIsInfiniteExpr

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