Library examples.pool_counter__opaque
From
examples
Require
Import
pool_counter__code
.
#[
global
]
Opaque
pool_counter
٠
main
.