index (odoc.lib.odoc.model.index)