[NetKAT] Intern decision nodes via per-field unique tables keyed by node index#100

smolkaj wants to merge 1 commit into

google:maingoogle/netkat:mainfrom

smolkaj:per-field-unique-tablessmolkaj/netkat:per-field-unique-tablesCopy head branch name to clipboard