package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

package frenetic

netcore

Legend:
Library
Module
Module type
Parameter
Class
Class type

type switchId = OpenFlow0x01.switchId

type portId = OpenFlow0x01.portId

type dlAddr = Packet.dlAddr

module type Arg = sig ... end

module type TOPO = sig ... end

type loc =

| Switch of switchId * portId
| Host of dlAddr

module Make (A : Arg) : TOPO

module Topo : TOPO