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.