G.Mark
type graph = t
type vertex = V.t
val clear : graph -> unit
val get : vertex -> int
val set : vertex -> int -> unit