package orsetto

The type of an co-domain array.

A distinguished empty array.

Use empty v to test whether v is an empty array.

Use of_seq s to make an array from the elements consumed from s.

Use project v i to obtain the element of v at index i.