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