sig
  type 'a t
  type key
  val empty : 'a Server.Data.Map.t
  val add :
    Server.Data.Map.key -> 'a -> 'a Server.Data.Map.t -> 'a Server.Data.Map.t
  val find : Server.Data.Map.key -> 'a Server.Data.Map.t -> 'a
end