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