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

rhs

val rhs: KExpr<KBoolSort>