Library zoo_std.mvar__opaque

From zoo_std Require Import
  mvar__code.

#[global] Opaque mvar٠create.
#[global] Opaque mvar٠make.
#[global] Opaque mvar٠is_unset.
#[global] Opaque mvar٠is_set.
#[global] Opaque mvar٠try_get.
#[global] Opaque mvar٠get.
#[global] Opaque mvar٠set.