Module Sig_pack.S.V

module V: sig .. end

Vertices are COMPARABLE

type t 

val compare : t -> t -> int

val hash : t -> int

val equal : t -> t -> bool

vertices are labeled with integers

type label = int 

val create : label -> t

val label : t -> label