Type Alias UstrFinSet 

pub type UstrFinSet = HashFinSet<Ustr>;

A finite set with elements of type Ustr.

Aliased Type

pub struct UstrFinSet(/* private fields */);