Crate zfc

  

zfc is a library for sets according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).

Re-exports

pub use num_bigint;

Structs

BoundedCardinality

Contains a lower and upper bound Cardinality used to bound the cardinality of a Set.

BoundedErr

Error returned when attempting to create a BoundedCardinality from a pair of BigUints or Cardinalitys such that the upper bound is strictly less than the lower bound.

CardinalityErr

Error returned when attempting to create a Cardinality from a BoundedCardinality such that the lower bound is less than the upper bound.

Enums

Cardinality

Represents the quantity of elements in a Set.

Traits

Set

Represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).