Graph.OrderedType
The vertices should be have some ordering
type t
val compare : t -> t -> int
val pp_print_t : Stdlib.Format.formatter -> t -> unit