Library zoo_parabs.waiter__opaque

From zoo_parabs Require Import
  waiter__code.

#[global] Opaque waiter٠create.
#[global] Opaque waiter٠notify.
#[global] Opaque waiter٠prepare_wait.
#[global] Opaque waiter٠cancel_wait.
#[global] Opaque waiter٠commit_wait.