Module set

Sets, finite and infinite.

This module provides interfaces and simple wrapper types to enable sets to be treated in a generic way.

Structs

AttributedSkelSet

A skeletal finite set with a data attribute.

HashFinSet

A finite set backed by a hash set.

SkelFinSet

A skeletal finite set.

Traits

FinSet

A finite set.

Set

A set.

Type Aliases

UstrFinSet

A finite set with elements of type Ustr.