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