module Static: functor (M : Map) -> functor (I : Info) -> Index with type t = M.key
functor (
M
:
Map
) ->
I
Info
Index
with type t = M.key
Builds an indexer that does not depend on current project.
include Data.S
val get : t -> int
t -> int
val find : int -> t
int -> t
Not_found
val clear : unit -> unit
unit -> unit
Clear index tables. Use with extreme care.