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