Library zoo_persistent.parray_2__opaque

From zoo_persistent Require Import
  parray_2__code.

#[global] Opaque parray_2٠make.
#[global] Opaque parray_2٠get.
#[global] Opaque parray_2٠set.
#[global] Opaque parray_2٠capture.
#[global] Opaque parray_2٠restore.