exception NegativeCycle of tval shortest_path : Net.Topology.t ‑> Net.Topology.vertex ‑> Net.Topology.vertex ‑> t optionval all_shortest_paths : Net.Topology.t ‑> Net.Topology.vertex ‑> Net.Topology.vertex Net.Topology.VertexHash.tval all_pairs_shortest_paths : topo:Net.Topology.t ‑> f:(Net.Topology.vertex ‑> Net.Topology.vertex ‑> bool) ‑> (weight * Net.Topology.vertex * Net.Topology.vertex * Net.Topology.edge list) list