Library zoo_saturn.tqueue_mpmc_2__opaque

Require Import zoo_saturn.tqueue_mpmc_2__code.

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