type t =
| Inf
| Fin of int
val zero : t
The distance between two vertices is zero iff they are equal.
zero
val one : t
The distance between two vertices is one iff they are adjacent.
one
val infty : t
The distance between two vertices is infty iff they are disconnected.
infty
val (+) : t -> t -> t
Adding distances.
val (>) : t -> t -> bool
Comparing distances.
val max : t -> t -> t
Computing the max of two distances.
max