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