lhs : term -> term
SYNOPSIS
Returns the left-hand side of an equation.
DESCRIPTION
lhs `t1 = t2`
returns
`t1`
.
FAILURE CONDITIONS
Fails with
lhs
if the term is not an equation.
EXAMPLE
# lhs `2 + 2 = 4`;; val it : term = `2 + 2`
SEE ALSO
dest_eq
,
lhand
,
rand
,
rhs
.