toAssignmentPair

open override fun toAssignmentPair(): Pair<Var, Term>

The (variable, term) pair this Equation assigns, i.e. its Var side paired with the other side.

Throws

if neither lhs nor rhs is a Var (this Equation is not an Assignment).