dafny-runtime-0.3.1
- dafny-runtime 0.3.1
- Permalink
- Docs.rs crate page
- ISC AND (Apache-2.0 OR ISC)
- Links
- Repository
- crates.io
- Source
- Owners
- ajewellamz
- robin-aws
- Dependencies
- itertools ^0.14.0 normal
  num ^0.4.3 normal
  once_cell ^1.21.3 normal
- Versions
- 0.81% of the crate is documented
Platform
Feature flags

docs.rs

Rust

DafnySet

dafny_runtime0.3.1

DafnySet

Aliased Type

In dafny_runtime::dafny_runtime_conversions

dafny_runtime::dafny_runtime_conversions

Type Alias DafnySet

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

Aliased Type§

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