Library examples.pool_quicksort__opaque

Require Import examples.pool_quicksort__code.

#[global] Opaque pool_quicksort ٠ partition.
#[global] Opaque pool_quicksort ٠ main₂.
#[global] Opaque pool_quicksort ٠ main₁.
#[global] Opaque pool_quicksort ٠ main.