Library zoo_saturn.mpmc_bstack__opaque

From zoo_saturn Require Import
  mpmc_bstack__code.

#[global] Opaque mpmc_bstack٠create.
#[global] Opaque mpmc_bstack٠size.
#[global] Opaque mpmc_bstack٠is_empty.
#[global] Opaque mpmc_bstack٠push.
#[global] Opaque mpmc_bstack٠pop.