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