Defining a function:\\ {\ex \lstinline| def name([arguments]):|} {\ex \lstinline| code|} {\ex \lstinline| [return values]|}