Library zoo_parabs.vertex__opaque

Require Import zoo_parabs.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٠run.
#[global] Opaque vertex٠yield.