Library zoo_persistent.parray__opaque
From
zoo_persistent
Require
Import
parray__code
.
#[
global
]
Opaque
parray
٠
make
.
#[
global
]
Opaque
parray
٠
get
.
#[
global
]
Opaque
parray
٠
set
.