Library zoo_saturn.mpmc_bqueue__opaque

From zoo_saturn Require Import
  mpmc_bqueue__code.

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