module type VERTEX : sig ... end
module type EDGE : sig ... end
module type WEIGHT : sig ... end
module type NETWORK : sig ... end
module type MAKE : functor (Vertex : VERTEX) -> functor (Edge : EDGE) -> NETWORK with module Topology.Vertex = Vertex and module Topology.Edge = Edge
module Node : sig ... end
module Link : sig ... end
module Net : NETWORK with type Topology.Vertex.t = Node.t and type Topology.Edge.t = Link.t