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

rhs

val rhs: KExpr<KIntSort>