Diese Form ist eine Definition, und bindet id als Namen an den Wert von expr. Eine Definition kann ganz außen vorkommen, dann ist sie global und kann überall verwendet werden. Eine Definition kann aber auch innerhalb eines lambda-Ausdrucks oder innerhalb von cond- und match-Zweigen vorkommen, dann ist sie lokal und nur dort gültig.