package spelll
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Make.Index
Source
Index that maps strings to values of type 'b. Internally it is based on a trie. A string can only map to one value.
Add a pair string/value to the index. If a value was already present for this string it is replaced.
Remove a string (and its associated value, if any) from the index.
Lazy list of objects associated to strings close to the query string
List of objects associated to strings close to the query string
Build an index from a list of pairs of strings and values
Fold over the stored pairs string/value