Library zoo_std.queue_3__opaque

From zoo_std Require Import
  queue_3__code.

#[global] Opaque queue_3٠create.
#[global] Opaque queue_3٠size.
#[global] Opaque queue_3٠is_empty.
#[global] Opaque queue_3٠unsafe_get.
#[global] Opaque queue_3٠unsafe_set.
#[global] Opaque queue_3٠push.
#[global] Opaque queue_3٠pop_front.
#[global] Opaque queue_3٠pop_back.