sig
  type t
  type key = vertex
  type value = label
  val create : int -> t
  val set : t -> key -> value -> unit
  val get : t -> key -> value
end