Library zoo_saturn.spsc_bqueue__opaque

From zoo_saturn Require Import
  spsc_bqueue__code.

#[global] Opaque spsc_bqueue٠create.
#[global] Opaque spsc_bqueue٠capacity.
#[global] Opaque spsc_bqueue٠size.
#[global] Opaque spsc_bqueue٠is_empty.
#[global] Opaque spsc_bqueue٠push.
#[global] Opaque spsc_bqueue٠pop.