sig
  val clear : Traverse.GM.t -> unit
  val get : Traverse.GM.V.t -> int
  val set : Traverse.GM.V.t -> int -> unit
end