Документирующий комментарий содежрит секцию возвращаемого значения для процедуры

Неправильно

Правильно

См.