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.