Frenetic_kernel.OpenFlow_HeaderSourceThe first fields of every OpenFlow message, no matter what the version, have the same shape. This is unlikely to change in subsequent OpenFlow versions because there needs to be some standard way to determine the version of each message. So we define that here.
size returns size of standard OpenFlow header in bytes
parse pkt takes a message buffer and returns a OpenFlow_Header.t. The message buffer can be a complete OpenFlow raw message yanked from the wire - not just the header.
marshal pkt hdr fills a message buffer with the header fields of a OpenFlow_Header.t. The message buffer can be a complete OpenFlow raw message, with the other stuff possibly filled in.