Library zoo_std.mpsc_flag__opaque

From zoo_std Require Import
  mpsc_flag__code.

#[global] Opaque mpsc_flag٠create.
#[global] Opaque mpsc_flag٠get.
#[global] Opaque mpsc_flag٠set.