Library zoo_std.queue_1__opaque

From zoo_std Require Import
  queue_1__code.

#[global] Opaque queue_1٠create.
#[global] Opaque queue_1٠is_empty.
#[global] Opaque queue_1٠push.
#[global] Opaque queue_1٠pop.