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