Library zoo_parabs.future__opaque

Require Import zoo_parabs.future__code.

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