Dijkstra.2-W
type edge = G.E.t
Type for graph edges.
type t
Type of edges' weights.
val weight : edge -> t
Get the weight of an edge.
val compare : t -> t -> int
Weights must be ordered.
val add : t -> t -> t
Addition of weights.
val zero : t
Neutral element for add.
add