[NetKAT] Implement AsShorthandString for Pull#109

copybara-service[bot] wants to merge 1 commit into

maingoogle/netkat:mainfrom

cl/932211878google/netkat:cl/932211878Copy head branch name to clipboard