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

val get : t -> int

val find : int -> t

val clear : unit -> unit

Clear index tables. Use with extreme care.