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