Documentation

Contains the vectorised and lifted versions of some thing.

Get the vectorised version of a thing.

Get the lifted version of a thing.

Apply some function to both the vectorised and lifted versions of a thing.

Get the type of a vectorised variable.

Make a vectorised non-recursive binding.

Make a vectorised recursive binding.

Wrap a vectorised variable as a vectorised expression.

Wrap a vectorised type as a vectorised expression.

Make a vectorised note.

Make a vectorised let expresion.

Make a vectorised lambda abstraction.

The lifted version also binds the lifting context lc.

Apply an expression to a set of argument variables.

The lifted version is also applied to the variable of the lifting context.