Go backward to Explicit Function Definitions Go up to Top Go forward to Conditional Function Definitions

Example

• The statement

  add(x, y) := x+y

  defines a binary function add.
• The statement

  add(x) := x+y

  is not a definition because of free variable y.
• The statement

  add(x*y) := x+y

  is not a definition because x*y is not a variable.