Library zoo_std.semaphore__opaque

From zoo_std Require Import
  semaphore__code.

#[global] Opaque semaphore٠create.
#[global] Opaque semaphore٠try_lock.
#[global] Opaque semaphore٠lock.
#[global] Opaque semaphore٠unlock.