Library zoo_parabs.algo__opaque

Require Import zoo_parabs.algo__code.

#[global] Opaque algo٠adjust_chunk.
#[global] Opaque algo٠for_₁.
#[global] Opaque algo٠for_.
#[global] Opaque algo٠for_each.
#[global] Opaque algo٠fold_seq.
#[global] Opaque algo٠fold₁.
#[global] Opaque algo٠fold.
#[global] Opaque algo٠find_seq.
#[global] Opaque algo٠find₁.
#[global] Opaque algo٠find.