DIVEX Operators

DIVEX allows you to compose and manipulate functions. It provides a set of operators to do that:

DIVEX operators do not invoke functions, they return new functions that when invoked do invoke the original functions.

Parameter names are an important part of functions. When using a DIVEX operator, parameter names are used to select the relevant parameters. Also, parameter names are preserved in the resulting functions.