#lang scribble/manual @title{def} @verbatim|{ def : }| Evaluates , and binds it to the given identifier. The cannot be the same as that of another function or variable, and it cannot appear in the expression.