Library zoo_std.waiter_mpsc__opaque

Require Import zoo_std.waiter_mpsc__code.

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