Library zoo_parabs.pool__opaque

From zoo_parabs Require Import
  pool__code.

#[global] Opaque pool٠create.
#[global] Opaque pool٠run_on.
#[global] Opaque pool٠close.
#[global] Opaque pool٠run.
#[global] Opaque pool٠size.
#[global] Opaque pool٠async.
#[global] Opaque pool٠wait.
#[global] Opaque pool٠wait_ivar.