Это правильно.Вы также можете явно сказать (documentation #'pr 'function)
.
Однако, как указано в спецификации, также:
Реализация разрешает отбрасывать строки документации в любое время по причинам, определяемым реализацией.
Поэтому, если вы не получите строку документации, вам, возможно, придется взглянуть на документацию используемой реализации, параметры оптимизации, независимо от того, выполняете ли вы интерпретированный или скомпилированный и т. Д.