Module type Sig.WEIGHT

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.