Library zoo_std.waiter_spsc__opaque

Require Import zoo_std.waiter_spsc__code.

#[global] Opaque waiter_spsc ٠ create.
#[global] Opaque waiter_spsc ٠ notify.
#[global] Opaque waiter_spsc ٠ try_wait.
#[global] Opaque waiter_spsc ٠ wait.