MappingPackageInternalHacks3(A, B, C)

mappkg.spad line 45 [edit on github]

• A : SetCategory
• B : SetCategory
• C : SetCategory

various Currying operations.

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

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