MappingPackageInternalHacks2(A, C)ΒΆ

mappkg.spad line 29

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.