frenetic-lang/frenetic — pull request #294 by seliopou (2014-04-23 19:57:33+00:00)
Title: Don't export Util module, and clean it up

This pull request renames `NetKAT_Util` to just `Util` and makes it an internal module. In addition, code that's redundant with functions provided by Core were removed.