defun name lambda-list {declaration}* [doc-string] {declaration}* {form}* Yes, it looks like this is the right way to express things in this case. -- Scott