Library zoo_saturn.stack_mpmc_1__opaque

Require Import zoo_saturn.stack_mpmc_1__code.

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