Stop using Set.set
Open
enhancement
- Dominant language
- No language data
- Stars
- 36
- Forks
- 11
- PR merge metrics
- No merged PRs in 30d
Description
(In the checker:)
`Set.set` in F* is implemented via membership functions. This means that they are slow and will have memory usage problems. Plus, they cannot reasonably be printed for debugging.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.