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

rhs

val rhs: KExpr<T>