In Lisp-like and functional languages, introduces a list of local variables, each (possibly optionally) with its initial value.