zfc

Library for sets according to ZFC.
git clone https://git.philomathiclife.com/repos/zfc
Log | Files | Refs | README

tests.rs (300B)

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