MappingPackageInternalHacks2(A, C)

mappkg.spad line 29 [edit on github]

• A : SetCategory
• C : SetCategory

various Currying operations.

arg1 : (A, C) -> A

arg1(a, c) selects its first argument.

arg2 : (A, C) -> C

arg2(a, c) selects its second argument.