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