hfs 1.0.0

Hereditarily finite sets.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Crate prelude.

// The actual prelude.
pub use crate::{
    class::{self, Class},
    levels::Ahu,
    mset::{Mset, SetError},
    set::Set,
    SetTrait,
};

// Convenient imports within the crate.
pub(crate) use crate::{
    consecutive_eq,
    levels::{btree_index, Compare, Levels},
    SmallVec,
};
pub(crate) use bitvec::prelude::*;
pub(crate) use derive_more::{AsRef, Display, Into, IntoIterator};
pub(crate) use std::{
    cmp::Ordering,
    collections::{btree_map::Entry, BTreeMap},
    fmt::{Debug, Display, Formatter, Result as FmtResult, Write},
    hint, iter, mem, ptr, slice,
    str::FromStr,
};