lhs : term -> term
STRUCTURE
SYNOPSIS
Returns the left-hand side of an equation.
DESCRIPTION
If M has the form t1 = t2 then lhs M returns t1.
FAILURE
Fails if the term is not an equation.
SEEALSO
HOL  Kananaskis-14