sig
  type 'a key
  val key : unit -> 'Webs.Dict.key
  type t = Webs.dict
  val empty : Webs.dict
  val is_empty : Webs.dict -> bool
  val mem : 'Webs.Dict.key -> Webs.dict -> bool
  val add : 'Webs.Dict.key -> '-> Webs.dict -> Webs.dict
  val rem : 'Webs.Dict.key -> Webs.dict -> Webs.dict
  val find : 'Webs.Dict.key -> Webs.dict -> 'a option
  val get : 'Webs.Dict.key -> Webs.dict -> 'a
end