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