<?php

/** @generate-function-entries */

class Directory
{
    /**
     * @return void
     * @implementation-alias closedir
     */
    public function close() {}

    /**
     * @return void
     * @implementation-alias rewinddir
     */
    public function rewind() {}

    /**
     * @return string|false
     * @implementation-alias readdir
     */
    public function read() {}
}
