Platform
defines functions for sending OpenFlow messages to
switches and wrapping thunks with timeouts.
val send_packet_out : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.packetOut ‑> unit
val send_flow_mod : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.flowMod ‑> unit
val send_stats_request : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.request ‑> unit