Library zoo_saturn.inf_mpmc_queue_2__opaque

From zoo_saturn Require Import
  inf_mpmc_queue_2__code.

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