# 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`.