Johnson.2-W
include Sig.WEIGHT with type edge = G.E.t
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
val sub : t -> t -> t
Subtraction of weights.