Library zoo_std.flag_mpsc__code

Require Import zoo.prelude.
Require Import zoo.language.typeclasses.
Require Import zoo.language.notations.
Require Import zoo.options.

Definition flag_mpscΩ create : val :=
  π—³π˜‚𝗻 ⎽ β†’
    π—Ώπ—²π—³ false.

Definition flag_mpscΩ get : val :=
  π—³π˜‚𝗻 "1" β†’
    !"1".

Definition flag_mpscΩ set : val :=
  π—³π˜‚𝗻 "t" β†’
    "t" <- true.