.phan/internal_stubs/sysvsem.phan_php
<?php
// These stubs were generated by the phan stub generator.
// @phan-stub-for-extension sysvsem@7.4.3-dev
namespace {
function sem_acquire($sem_identifier, $nowait = null) {}
function sem_get($key, $max_acquire = null, $perm = null, $auto_release = null) {}
function sem_release($sem_identifier) {}
function sem_remove($sem_identifier) {}
}