Library zoo_saturn.mpmc_stack_1__opaque

From zoo_saturn Require Import
mpmc_stack_1__code.

#[global] Opaque mpmc_stack_1 ٠ create.
#[global] Opaque mpmc_stack_1 ٠ push.
#[global] Opaque mpmc_stack_1 ٠ pop.
#[global] Opaque mpmc_stack_1 ٠ snapshot.