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.

Constants are lifted by replication along the integer context in the VM state for the number of elements in the result array.