Module vstd::set

source ·

Re-exports§

  • pub use set_internal;

Modules§

  • fold
    This module defines a fold function for finite sets and proves a number of associated lemmas.

Macros§

Structs§

  • Set
    Set<A> is a set type for specifications.

Functions§