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

simplifyRealToInt

fun KContext.simplifyRealToInt(arg: KExpr<KRealSort>): KExpr<KIntSort>