Module type Path.WEIGHT


module type WEIGHT = sig .. end
Signature for edges' weights.

type label 
Type for labels of graph edges.
type t 
Type of edges' weights.
val weight : label -> 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 Path.WEIGHT.add.