Network (p.frenetic.5.0.5.doc.frenetic.kernel.Frenetic

Sourcemodule type VERTEX = sig ... end

Sourcemodule type EDGE = sig ... end

Sourcemodule type WEIGHT = sig ... end

Sourcemodule type NETWORK = sig ... end

module type MAKE =
  functor (Vertex : VERTEX) ->
  functor (Edge : EDGE) ->
  NETWORK with module Topology.Vertex = Vertex and module Topology.Edge = Edge

Sourcemodule Make : MAKE

Sourcemodule Node : sig ... end

Sourcemodule Link : sig ... end

Source

module Net : 
  NETWORK
    with type Topology.Vertex.t = Node.t
     and type Topology.Edge.t = Link.t

Sourcemodule NetPath : Net.PATH with type weight = float