Module SL_graph.Dijkstra

val shortest_path : G.t -> G.V.t -> G.V.t -> G.E.t list * W.t