MappingPackageInternalHacks3(A, B, C)ΒΆ

mappkg.spad line 45

various Currying operations.

comp: (B -> C, A -> B, A) -> C
comp(f, g, x) is f(g x).