<#GAPDoc Label="AddSomeFunc">
<Listing Type="Code"><![CDATA[
DeclareOperation( "AddSomeFunc",
                  [ IsCapCategory, IsList, IsInt ] );
]]></Listing>

<#/GAPDoc>
<#GAPDoc Label="CapInternalInstallAdd">
<Listing Type="Code"><![CDATA[
DeclareOperation( "CapInternalInstallAdd",
                  [ IsRecord ] );
]]></Listing>

<#/GAPDoc>
<#GAPDoc Label="CAP_INTERNAL_VALID_METHOD_NAME_RECORD_COMPONENTS">
<Listing Type="Code"><![CDATA[
    [
        "filter_list",
        "input_arguments_names",
        "return_type",
        "output_source_getter_string",
        "output_source_getter_preconditions",
        "output_range_getter_string",
        "output_range_getter_preconditions",
        "with_given_object_position",
        "dual_operation",
        "dual_arguments_reversed",
        "dual_with_given_objects_reversed",
        "dual_preprocessor_func",
        "dual_preprocessor_func_string",
        "dual_postprocessor_func",
        "dual_postprocessor_func_string",
        "functorial",
        "compatible_with_congruence_of_morphisms",
        "redirect_function",
        "pre_function",
        "pre_function_full",
        "post_function",
    ]
]]></Listing>

<#/GAPDoc>
<#GAPDoc Label="CAP_INTERNAL_VALID_RETURN_TYPES">
<Listing Type="Code"><![CDATA[
    [
        "object",
        "object_or_fail",
        "morphism",
        "morphism_or_fail",
        "twocell",
        "object_in_range_category_of_homomorphism_structure",
        "morphism_in_range_category_of_homomorphism_structure",
        "bool",
        "list_of_objects",
        "list_of_morphisms",
        "list_of_morphisms_or_fail",
        "list_of_lists_of_morphisms",
        "object_datum",
        "morphism_datum",
        "nonneg_integer_or_infinity",
        "list_of_elements_of_commutative_ring_of_linear_structure",
    ]
]]></Listing>

<#/GAPDoc>
<#GAPDoc Label="example_limit_record">
<Listing Type="Code"><![CDATA[
rec(
  object_specification := [ "fixedobject", "varobject" ],
  morphism_specification := [ [ 2, "varmorphism", 1 ] ],
  limit_object_name := "FiberProduct",
  colimit_object_name := "Pushout",
)
]]></Listing>

<#/GAPDoc>
