rand : term -> term
STRUCTURE
Term
SYNOPSIS
Returns the operand from a combination (function application).
DESCRIPTION
If
M
is a combination, i.e., has the form
(t1 t2)
, then
rand M
returns
t2
.
FAILURE
Fails if
M
is not a combination.
SEEALSO
rator
,
dest_comb
HOL
Kananaskis-14