module type WEIGHT =sig
..end
Signature for edges' weights.
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 Sig.WEIGHT.add
.