Source API
Declarations `AutoDocTest_GlobalFunction` is a documented placeholder used by the package-context regression manual.

`AutoDocTest_Operation` takes an object together with a positive integer and returns that integer unchanged.

`AutoDocTest_Attribute` records a small attribute entry for solvable groups.

`AutoDocTest_Property` is a tiny property used to exercise method docs. true or false

`AutoDocTest_Method` is declared separately so the fixture package loads cleanly when building its manual.

Implementations The global function prints a stable sentence so it is easy to mention in the mock manual.

The method for `AutoDocTest_Operation` returns the second argument.

The attribute method simply returns the group itself.

The property method reuses `IsAbelian` for nilpotent groups.

A method installation without an itemtype