Library zoo_parabs.algo__opaque

From zoo_parabs Require Import
  algo__code.

#[global] Opaque algo٠for_.
#[global] Opaque algo٠for_each.
#[global] Opaque algo٠fold.
#[global] Opaque algo٠find.