compiler/examples/prime/php-src/vector.stub.php

<?php
/** @typephp-library prime2 */

function vector_new(int $size, bool $init = false): mixed
{

}

function vector_get(mixed $vector, int $offset): bool
{

}

function vector_set(mixed $vector, int $offset, bool $value): void
{

}