This is an example of a category which is created using CategoryConstructor
out of no input.
This category "lies" in all doctrines and can hence be used (in conjunction with LazyCategory
) in order to check the type-correctness of the various derived methods provided by CAP or any CAP-based package.
generated by GAPDoc2HTML