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