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