Library zoo_std.condition__opaque

From zoo_std Require Import
  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.