Library zoo_saturn.queue_spmc__opaque

Require Import zoo_saturn.queue_spmc__code.

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