Library zoo_persistent.parray__opaque

Require Import zoo_persistent.parray__code.

#[global] Opaque parray٠make.
#[global] Opaque parray٠reroot₁.
#[global] Opaque parray٠reroot.
#[global] Opaque parray٠get.
#[global] Opaque parray٠set.