Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

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.