index (odoc.lib.odoc.examples.index)