Module Frenetic_async.OpenFlow0x01_Plugin

val start : int ‑> unit

val events : Frenetic_kernel.OpenFlow.event Async.Pipe.Reader.t

val switch_features : Frenetic_kernel.OpenFlow.switchId ‑> Frenetic_kernel.OpenFlow.switchFeatures option Async.Deferred.t

val packet_out : Frenetic_kernel.OpenFlow.switchId ‑> Frenetic_kernel.OpenFlow.portId option ‑> Frenetic_kernel.OpenFlow.payload ‑> Frenetic_netkat.Syntax.policy list ‑> unit Async.Deferred.t

val flow_stats : Frenetic_kernel.OpenFlow.switchId ‑> Frenetic_kernel.OpenFlow.Pattern.t ‑> Frenetic_kernel.OpenFlow.flowStats Async.Deferred.t

val port_stats : Frenetic_kernel.OpenFlow.switchId ‑> Frenetic_kernel.OpenFlow.portId ‑> Frenetic_kernel.OpenFlow.portStats Async.Deferred.t

val update : Frenetic_netkat.Local_compiler.t ‑> unit Async.Deferred.t

val update_switch : Frenetic_kernel.OpenFlow.switchId ‑> Frenetic_netkat.Local_compiler.t ‑> unit Async.Deferred.t

type rpc_ack =

| RpcOk

| RpcEof

module LowLevel : sig ... end