Library zoo_std.semaphore__opaque

Require Import zoo_std.semaphore__code.

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