Module Sig_pack.S.V

module V: sig .. end
Vertices


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