Library zoo_parabs.waiters__opaque

From zoo_parabs Require Import
  waiters__code.

#[global] Opaque waiters٠create.
#[global] Opaque waiters٠notify.
#[global] Opaque waiters٠notify_one.
#[global] Opaque waiters٠notify_all.
#[global] Opaque waiters٠prepare_wait.
#[global] Opaque waiters٠cancel_wait.
#[global] Opaque waiters٠commit_wait.