sem_or_view – A Ref (or view) representing a semaphore.
value (int | jax_typing.Array) – The target value that the semaphore should reach before unblocking.
decrement (bool) – Whether to decrement the value of the semaphore after
a successful wait.