Countable.stub

<?php

interface Countable
{
    /**
     * @return 0|positive-int
     */
    public function count(): int;
}