zfc 0.5.0

Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

use super::{BTreeSet, BigUint, Cardinality, Set as _};
#[test]
fn set_vec() {
    let mut set = BTreeSet::new();
    _ = set.insert(3u32);
    _ = set.insert(1u32);
    _ = set.insert(2u32);
    assert_eq!(
        set.cardinality(),
        Some(Cardinality::Finite(BigUint::new_const(3)))
    );
}