presto-main/src/main/java/io/prestosql/operator/index/PageRecordSet.java/PageRecordSet/cursor
class PageRecordSet:    @Override
    public RecordCursor cursor()
    {
        return new PageRecordCursor(types, page);
    }