#lang scribble/manual

@title{def}

@verbatim|{
def <id>: <expr>
}|

Evaluates <expr>, and binds it to the given identifier. The <id> cannot
be the same as that of another function or variable, and it cannot
appear in the expression.