In a file lib/utils.gi, with the content
InstallMethod(AntimagmaGeneratorPossibleDiagonals, "for possible antiassociative diagonals", [IsPosInt],
function(n)
return Filtered(EnumeratorOfTuples([1 .. n], n), t -> ForAll([1 .. n], i -> t[i] <> i));
end);
AutoDoc gave this error:
Error, declarations must be documented within a section,
at lib/utils.gi:2
Inserting an empty line before InstallMethod fixes it.