Distinguish `ImplStored` when set by the user and `ImplStored` set by heuristic
Open
- Dominant language
- Python
- Stars
- 15
- Forks
- 16
- Avg merge
- 17m
- Merged PRs (30d)
- 1
Description
The first should be considered mandatory, for the second, it's OK if array contraction gets rid of it.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.