Library zoo_std.lazy__opaque
Require
Import
zoo_std.lazy__code
.
#[
global
]
Opaque
lazy
٠
make
.
#[
global
]
Opaque
lazy
٠
return
.
#[
global
]
Opaque
lazy
٠
is_set
.
#[
global
]
Opaque
lazy
٠
is_unset
.
#[
global
]
Opaque
lazy
٠
get
.