Library zoo_persistent.pstack__opaque

From zoo_persistent Require Import
  pstack__code.

#[global] Opaque pstack٠empty.
#[global] Opaque pstack٠is_empty.
#[global] Opaque pstack٠push.
#[global] Opaque pstack٠pop.