sig
  type graph
  type vertex
  val clear : Sig.MARK.graph -> unit
  val get : Sig.MARK.vertex -> int
  val set : Sig.MARK.vertex -> int -> unit
end