Library zoo_saturn.mpsc_queue_3__opaque

From zoo_saturn Require Import
  mpsc_queue_3__code.

#[global] Opaque mpsc_queue_3٠create.
#[global] Opaque mpsc_queue_3٠is_empty.
#[global] Opaque mpsc_queue_3٠push_front.
#[global] Opaque mpsc_queue_3٠push_back.
#[global] Opaque mpsc_queue_3٠pop.
#[global] Opaque mpsc_queue_3٠close.