----------------------------------------------------------------------
lhs                                                       (boolSyntax)
----------------------------------------------------------------------
lhs : term -> term

SYNOPSIS
Returns the left-hand side of an equation.

DESCRIBE
If {M} has the form {t1 = t2} then {lhs M} returns {t1}.

FAILURE
Fails if the term is not an equation.

SEEALSO
boolSyntax.rhs, boolSyntax.dest_eq, boolSyntax.mk_eq.

----------------------------------------------------------------------