Library zoo_saturn.spmc_queue__opaque

From zoo_saturn Require Import
  spmc_queue__code.

#[global] Opaque spmc_queue٠create.
#[global] Opaque spmc_queue٠is_empty.
#[global] Opaque spmc_queue٠push.
#[global] Opaque spmc_queue٠pop.