Module type `Path.WJ`

Weight signature for Johnson's algorithm.

include Graph.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.

val sub : t -> t -> t: Subtraction of weights.