val from_switch_features : Frenetic_kernel__OpenFlow.OF10.SwitchFeatures.t ‑> Frenetic_kernel__OpenFlow.switchFeatures
val event_from_message : Frenetic_kernel__OpenFlow.OF10.switchId ‑> Frenetic_kernel__OpenFlow.OF10.Message.t ‑> Frenetic_kernel__OpenFlow.event option