Draft: Add generic PersistentSets based on our PersistentMaps#59

baierd wants to merge 6 commits into

mainsosy-lab/java-common-lib:mainfrom

57-move-persistentset-from-cpachecker-to-this-projectsosy-lab/java-common-lib:57-move-persistentset-from-cpachecker-to-this-projectCopy head branch name to clipboard