Library zoo_persistent.pstack__opaque
Require
Import
zoo_persistent.pstack__code
.
#[
global
]
Opaque
pstack
٠
empty
.
#[
global
]
Opaque
pstack
٠
is_empty
.
#[
global
]
Opaque
pstack
٠
push
.
#[
global
]
Opaque
pstack
٠
pop
.