| Hello of Frenetic_kernel__OpenFlow0x04.element list |
| EchoRequest of Cstruct.t |
| EchoReply of Cstruct.t |
| FeaturesRequest |
| FeaturesReply of Frenetic_kernel__OpenFlow0x04.SwitchFeatures.t |
| FlowModMsg of Frenetic_kernel__OpenFlow0x04.FlowMod.t |
| GroupModMsg of Frenetic_kernel__OpenFlow0x04.GroupMod.t |
| PortModMsg of Frenetic_kernel__OpenFlow0x04.PortMod.t |
| MeterModMsg of Frenetic_kernel__OpenFlow0x04.MeterMod.t |
| PacketInMsg of Frenetic_kernel__OpenFlow0x04.PacketIn.t |
| FlowRemoved of Frenetic_kernel__OpenFlow0x04.FlowRemoved.t |
| PacketOutMsg of Frenetic_kernel__OpenFlow0x04.PacketOut.t |
| PortStatusMsg of Frenetic_kernel__OpenFlow0x04.PortStatus.t |
| MultipartReq of Frenetic_kernel__OpenFlow0x04.MultipartReq.t |
| MultipartReply of Frenetic_kernel__OpenFlow0x04.MultipartReply.t |
| BarrierRequest |
| BarrierReply |
| RoleRequest of Frenetic_kernel__OpenFlow0x04.RoleRequest.t |
| RoleReply of Frenetic_kernel__OpenFlow0x04.RoleRequest.t |
| QueueGetConfigReq of Frenetic_kernel__OpenFlow0x04.QueueConfReq.t |
| QueueGetConfigReply of Frenetic_kernel__OpenFlow0x04.QueueConfReply.t |
| GetConfigRequestMsg |
| GetConfigReplyMsg of Frenetic_kernel__OpenFlow0x04.SwitchConfig.t |
| SetConfigMsg of Frenetic_kernel__OpenFlow0x04.SwitchConfig.t |
| TableModMsg of Frenetic_kernel__OpenFlow0x04.TableMod.t |
| GetAsyncRequest |
| GetAsyncReply of Frenetic_kernel__OpenFlow0x04.AsyncConfig.t |
| SetAsync of Frenetic_kernel__OpenFlow0x04.AsyncConfig.t |
| Error of Frenetic_kernel__OpenFlow0x04.Error.t |