Library zoo_persistent.pqueue__opaque
Require
Import
zoo_persistent.pqueue__code
.
#[
global
]
Opaque
pqueue
٠
empty
.
#[
global
]
Opaque
pqueue
٠
is_empty
.
#[
global
]
Opaque
pqueue
٠
push
.
#[
global
]
Opaque
pqueue
٠
pop
.