Library zoo_std.queue_2__opaque

Require Import zoo_std.queue_2__code.

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