Unverified Commit 6f030709 authored 11 months ago by Matthias Diener Committed by GitHub 11 months ago

PersistentDict: better docs, type annotations (#212)

* better docs, type annotations

* more annotations

* add to README

* make it generic

* fix doc

* complete annotations

parent 3e9d9d2f

No related branches found

No related tags found

No related merge requests found

Pipeline #536903 passed 11 months ago