Library zoo_saturn.mpmc_tqueue_2__opaque

From zoo_saturn Require Import
  mpmc_tqueue_2__code.

#[global] Opaque mpmc_tqueue_2٠create.
#[global] Opaque mpmc_tqueue_2٠make.
#[global] Opaque mpmc_tqueue_2٠is_empty.
#[global] Opaque mpmc_tqueue_2٠push.
#[global] Opaque mpmc_tqueue_2٠pop.