Library examples.vertex_fibonacci__opaque

From examples Require Import
  vertex_fibonacci__code.

#[global] Opaque vertex_fibonacci٠main.