void
add_to_index (
 
_
, 
α
 
_
, 
'key
 
_
, 
Db.ref_path
(
α
, 
'engine
)
 
_)
Index the given value
Exemple:
add_to_index index value key
index
: index
value
: value to be indexed, of type 'a
key
: the key from the main database to store in the index, so it can resend after a search query
path
: the path from the main database to check if there are some indexed values to remove

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.