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

simplifyRealIsInt

fun KContext.simplifyRealIsInt(arg: KExpr<KRealSort>): KExpr<KBoolSort>