Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

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.