Library zoo_saturn.queue_mpsc_1__opaque

Require Import zoo_saturn.queue_mpsc_1__code.

#[global] Opaque queue_mpsc_1٠create.
#[global] Opaque queue_mpsc_1٠is_empty.
#[global] Opaque queue_mpsc_1٠push₁.
#[global] Opaque queue_mpsc_1٠fix_back.
#[global] Opaque queue_mpsc_1٠push.
#[global] Opaque queue_mpsc_1٠pop.