Edge : EDGE
Vertex : VERTEX
module Topology : sig ... end with module Vertex = Vertex and module Edge = Edge
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