Path.Dijkstra
module G : G
module W : sig ... end
val shortest_path : G.t -> G.V.t -> G.V.t -> G.E.t list * W.t