MappingPackageInternalHacks3(A, B, C)

mappkg.spad line 45 [edit on github]

• A: SetCategory

• B: SetCategory

• C: SetCategory

various Currying operations.

comp: (B -> C, A -> B, A) -> C

comp(f, g, x) is f(g x).