body : (term -> term)
SYNOPSIS
Returns the body of an abstraction.
DESCRIBE
body `\v. t`
returns
`t`
.
FAILURE
Fails unless the term is an abstraction.
SEEALSO
bvar
,
dest_abs
HOL
Kananaskis 0