sig
type key = int
type t
val print : Format.formatter -> ValMap.t -> unit
val random : Random.State.t -> ValMap.t -> ValMap.key
val empty : ValMap.t
val is_empty : ValMap.t -> bool
val add : ValMap.key -> int -> ValMap.t -> ValMap.t
val mem : ValMap.key -> ValMap.t -> bool
val remove : ValMap.key -> ValMap.t -> ValMap.t
val total : ValMap.t -> int
end