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