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