Library zoo_std.glist__opaque
From
zoo_std
Require
Import
glist__code
.
#[
global
]
Opaque
glist
٠
rev_app
.
#[
global
]
Opaque
glist
٠
rev
.