[NetKAT] Store each interned decision node once: pointer-keyed unique tables#99

smolkaj wants to merge 4 commits into

google:maingoogle/netkat:mainfrom

smolkaj:flat-transformer-nodessmolkaj/netkat:flat-transformer-nodesCopy head branch name to clipboard