Library zoo_parabs.waiter__opaque

Require Import zoo_parabs.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.