frenetic.kernel
Frenetic_kernel.Net
frenetic
frenetic.async
frenetic.netkat
module SDN = OpenFlow
type node =
| Switch of SDN.switchId
| Host of Packet.dlAddr * Packet.nwAddr
val sexp_of_node : node -> Ppx_sexp_conv_lib.Sexp.t
val node_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> node
module Node : sig ... end
module Link : Network.EDGE
module Net : Network.NETWORK with type Topology.Vertex.t = Node.t and type Topology.Edge.t = Link.t