Library zoo_saturn.mpsc_queue_1__opaque

From zoo_saturn Require Import
mpsc_queue_1__code.

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