bndvar : term -> term

SYNOPSIS

Returns the bound variable of an abstraction.

DESCRIPTION

bndvar `\var. t` returns `var`.

FAILURE CONDITIONS

Fails unless the term is an abstraction.

EXAMPLE

  # bndvar `\x. x + 1`;;
  val it : term = `x`

SEE ALSO

body, dest_abs.