Functor 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 Data.S
val get : t -> int
val find : int -> t
val clear : unit -> unit

Clear index tables. Use with extreme care.