Standard library: Collections #4647
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: standard libraries
Standard libraries packaged in the Dafny distribution
Milestone
Common utilities for working with the built-in collection types: seq, set, map<K, V>, etc.
Existing source:
dafny-lang/libraries/src/Collections
The text was updated successfully, but these errors were encountered: