clone

open override fun clone(lhs: Term = this.lhs, rhs: Term = this.rhs): Equation.RightAssignment

Creates a copy of this Equation, of the same concrete subtype, with lhs and/or rhs replaced.