Library zoo_std.clist__opaque
From
zoo_std
Require
Import
clist__code
.
#[
global
]
Opaque
clist
٠
app
.
#[
global
]
Opaque
clist
٠
rev_app
.
#[
global
]
Opaque
clist
٠
iter
.