julia
e9a17a6c - Add a `count` field to IdDict

Commit
7 years ago
Add a `count` field to IdDict To provide an efficient `length` method. Fixes #26043
Author
Committer
Keno Fischer
Parents
Loading