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