I was reading https://www.gnu.org/software/guile/manual/html_node/Nil.html#Nil and noticed that the last code section uses deffn.

Is this correct? Since it's intended to be an elisp function, shouldn't it be 'defun'?