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