dafny_runtime::dafny_runtime_conversions

Type Alias DafnySet

Source 
pub type DafnySet<T> = Set<T>;

Aliased Typeยง

struct DafnySet<T> { /* private fields */ }