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

simplifyIntToReal

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