Module Frenetic_kernel.Topology

module SDN = Frenetic_kernel.OpenFlow

module Net : module type of Net.Net

val switch_ids : Net.Topology.t ‑> SDN.switchId list

val internal_ports : Net.Topology.t ‑> SDN.switchId ‑> Net.Topology.PortSet.t

val in_edge : Net.Topology.t ‑> SDN.switchId ‑> SDN.portId ‑> bool

val edge : Net.Topology.t ‑> (SDN.switchId * SDN.portId) list

module Mininet : sig ... end