Save an index to a directory

Writes index.bin into dir. Use the $save() method instead.

Usage

rs_ann_save(ptr, dir)

Arguments

ptr

External pointer to an index.

dir

String. Target directory, created if missing.

Value

Invisible NULL.