Library zoo_persistent.parray_1__opaque
From
zoo_persistent
Require
Import
parray_1__code
.
#[
global
]
Opaque
parray_1
٠
make
.
#[
global
]
Opaque
parray_1
٠
get
.
#[
global
]
Opaque
parray_1
٠
set
.