Documentation

Vectorise a binder variable, along with its attached type.

Vectorise a binder variable, along with its attached type, but give the result a new name.

Vectorise a binder then run a computation with that binder in scope.

Vectorise a binder, give it a new name, then run a computation with that binder in scope.

Vectorise some binders, then run a computation with them in scope.

Vectorise a variable, producing the vectorised and lifted versions.

Like vectVar but also add type applications to the variables.

Lifted literals are created by replicating them We use the the integer context in the VM state for the number of elements in the output array.