Library examples.future_fibonacci__opaque
From
examples
Require
Import
future_fibonacci__code
.
#[
global
]
Opaque
future_fibonacci
٠
main
.