Go backward to Explicit Function DefinitionsGo up to TopGo forward to Conditional Function Definitions |

- The statement
add(

defines a binary function add.`x`,`y`) :=`x`+`y` - The statement
add(

is`x`) :=`x`+`y`*not*a definition because of free variable`y`. - The statement
add(

is`x`*`y`) :=`x`+`y`*not*a definition because`x`*`y`is not a variable.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999