frenetic-lang/ocaml-openflow — pull request #4 by arjunguha (2013-10-10 22:22:12+00:00)
Title: Removed functions auto-generated by Coq.

Remember that this code was dumped by Coq. The functions I deleted,
if you look at the implementations, are just stupid accessors. Just use
the accessors.