Functor Server.Data.Static

module Static: 
functor (M : Map-> 
functor (I : Info-> Index with type t = M.key
Builds an indexer that does not depend on current project.
Parameters:
M : Map
I : Info

include Server.Data.S_collection
val get : t -> int
val find : int -> t
Raises Not_found if not registered.
val clear : unit -> unit
Clear index tables. Use with extreme care.