Library zoo_std.stack__opaque

From zoo_std Require Import
  stack__code.

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