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.