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