Library zoo_persistent.sarray__opaque

Require Import zoo_persistent.sarray__code.

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