Library zoo_persistent.pqueue__opaque

From zoo_persistent Require Import
  pqueue__code.

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