package orsetto

The abstract type of a set.

A distinguished empty set.

Use empty u to test if u is an empty set.

Use of_seq s to create a set from the unordered sequence of elements s.

Use member v u to test whether v is a member of u.

Unsafe interfaces depend on the internal structure of sets.