Library examples.vertex_fibonacci__opaque
From
examples
Require
Import
vertex_fibonacci__code
.
#[
global
]
Opaque
vertex_fibonacci
٠
main
.