1\DOC
2
3\TYPE {lhand : term -> term}
4
5\SYNOPSIS
6Returns the left-hand argument of a binary application.
7
8\DESCRIBE
9A call to {lhand t} returns {x} in those situations where {t} is of
10the form {``f x y``}.
11
12\FAILURE
13Fails if the argument is not of the required form.
14
15\EXAMPLE
16{
17- lhand ``3 + 2``;
18> val it = ``3`` : term
19}
20
21\COMMENTS
22The name {lhand} is an abbreviation of ``left-hand'', but {rand} is
23so-named as an abbreviation of ``operand''.  Nonetheless, {rand} does
24return the right-hand argument of a binary application.
25
26\SEEALSO
27Term.rand, Term.rator.
28
29\ENDDOC
30