rand : (term -> term)
SYNOPSIS
Returns the operand from a combination (function application).
DESCRIBE
rand "t1 t2"
returns
"t2"
.
FAILURE
Fails with
rand
if term is not a combination.
SEEALSO
rator
,
dest_comb
HOL
Kananaskis 0