Library zoo_std.spsc_waiter__opaque

From zoo_std Require Import
  spsc_waiter__code.

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