ksmt-core/io.ksmt.expr/KGtArithExpr/rhs

rhs

val rhs: KExpr<T>