Library zoo_std.mpsc_waiter__opaque

From zoo_std Require Import
  mpsc_waiter__code.

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