sig type graph = t type vertex = vertex val clear : graph -> unit val get : vertex -> int val set : vertex -> int -> unit end