Library zoo_std.flag_mpsc__opaque
Require
Import
zoo_std.flag_mpsc__code
.
#[
global
]
Opaque
flag_mpsc
٠
create
.
#[
global
]
Opaque
flag_mpsc
٠
get
.
#[
global
]
Opaque
flag_mpsc
٠
set
.