bvar : (term -> term)

SYNOPSIS
Returns the bound variable of an abstraction.

DESCRIBE
bvar `\v. t` returns `v`.

FAILURE
Fails unless the term is an abstraction.

SEEALSO  body,   dest_abs

HOL  Kananaskis 0