Serialise an index in integer dump format. More...
#include "file.h"
#include "index_manager.h"
Go to the source code of this file.
Serialise an index in integer dump format.