Standard library: Strings #4746
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
Utilities for working with strings (a.k.a.
seq<char>
), especially converting between integers and their string representations.Existing source:
dafny-lang/libraries/src/JSON/Utils/Str.dfy
Depends on #4645
The text was updated successfully, but these errors were encountered: