create_index (
string
 
_
, 
int
 
_
, 
Db.path
(
α
, 
β
, 
γ
)
 
_
, 
'key
 
_)
Create an index as a MongoDb collection
Exemple:
create_index db_name
db_name
: string the name of the main database
cache_size
: int the size of the internal cache; a limit set at 0 implies a db write for each word to index
ref_path
: path to the main type of data to be indexed, nedded to keep internal count up to date
ref_key
: key used to store the main type of data, needed to handle polymorphic keys and avoid manual casts from user
returns
an index as a MongoDb collection

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.