Library zoo_saturn.inf_queue_mpmc_2__opaque
Require Import zoo_saturn.inf_queue_mpmc_2__code.
#[global] Opaque inf_queue_mpmc_2٠create.
#[global] Opaque inf_queue_mpmc_2٠size.
#[global] Opaque inf_queue_mpmc_2٠is_empty.
#[global] Opaque inf_queue_mpmc_2٠push.
#[global] Opaque inf_queue_mpmc_2٠pop.
#[global] Opaque inf_queue_mpmc_2٠create.
#[global] Opaque inf_queue_mpmc_2٠size.
#[global] Opaque inf_queue_mpmc_2٠is_empty.
#[global] Opaque inf_queue_mpmc_2٠push.
#[global] Opaque inf_queue_mpmc_2٠pop.