Library zoo_std.condition__opaque

Require Import zoo_std.condition__code.

#[global] Opaque condition٠create.
#[global] Opaque condition٠notify.
#[global] Opaque condition٠notify_all.
#[global] Opaque condition٠wait.
#[global] Opaque condition٠wait_until.
#[global] Opaque condition٠wait_while.