body : term -> term

SYNOPSIS

Returns the body of an abstraction.

DESCRIPTION

body `\var. t` returns `t`.

FAILURE CONDITIONS

Fails unless the term is an abstraction.

EXAMPLE

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

SEE ALSO

bndvar, dest_abs.