Library zoo_parabs.vertex__opaque

From zoo_parabs Require Import
  vertex__code.

#[global] Opaque vertex٠create.
#[global] Opaque vertex٠create'.
#[global] Opaque vertex٠task.
#[global] Opaque vertex٠set_task.
#[global] Opaque vertex٠precede.
#[global] Opaque vertex٠release.
#[global] Opaque vertex٠yield.