module Topology : sig ... end with type Vertex.t = Node.t and type Edge.t = Link.t
module Traverse : sig ... end
val spanningtree_from : (Topology.vertex ‑> 'a list ‑> 'a) ‑> Topology.t ‑> Topology.vertex ‑> 'a
module type PATH : sig ... end
module Path : functor (Weight : WEIGHT with type edge = Topology.Edge.t) -> PATH with type weight = Weight.t
module UnitPath : PATH with type weight = int
module Parse : sig ... end
module Pretty : sig ... end