| Hello of Cstruct.t |
| ErrorMsg of Frenetic_kernel__OpenFlow0x01.Error.t |
| EchoRequest of Cstruct.t |
| EchoReply of Cstruct.t |
| VendorMsg of Frenetic_kernel__OpenFlow0x01.Vendor.t |
| SwitchFeaturesRequest |
| SwitchFeaturesReply of Frenetic_kernel__OpenFlow0x01.SwitchFeatures.t |
| FlowModMsg of Frenetic_kernel__OpenFlow0x01.FlowMod.t |
| PacketInMsg of Frenetic_kernel__OpenFlow0x01.packetIn |
| FlowRemovedMsg of Frenetic_kernel__OpenFlow0x01.flowRemoved |
| PortStatusMsg of Frenetic_kernel__OpenFlow0x01.PortStatus.t |
| PacketOutMsg of Frenetic_kernel__OpenFlow0x01.packetOut |
| BarrierRequest |
| BarrierReply |
| StatsRequestMsg of Frenetic_kernel__OpenFlow0x01.StatsRequest.t |
| StatsReplyMsg of Frenetic_kernel__OpenFlow0x01.StatsReply.t |
| SetConfig of Frenetic_kernel__OpenFlow0x01.SwitchConfig.t |
| ConfigRequestMsg |
| ConfigReplyMsg of Frenetic_kernel__OpenFlow0x01.SwitchConfig.t |