rhs

open override val rhs: Term
Content copied to clipboard

The right-hand side of the equation