Library zoo_parabs.future__opaque

From zoo_parabs Require Import
  future__code.

#[global] Opaque future٠return.
#[global] Opaque future٠async.
#[global] Opaque future٠wait.
#[global] Opaque future٠iter.
#[global] Opaque future٠map.