Path.WJ
Weight signature for Johnson's algorithm.
include Sig.WEIGHT
type edge
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.