Library examples.pool_quicksort__opaque
From
examples
Require
Import
pool_quicksort__code
.
#[
global
]
Opaque
pool_quicksort
٠
main
.