Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @template Tk of array-key * @template Tv */ interface ICollection { /** * @psalm-return ICollection<Tk, Tv> */ public function slice(int $start, int $length): ICollection; } /** * @template T * * @extends ICollection<int, T> */ interface IVector extends ICollection { /** * @psalm-return IVector<T> */ public function slice(int $start, int $length): IVector; }
Snippet created on January 7 2020 at 21:54 UTC
Settings
Get link