Library zoo_parabs.ws_bdeques_public__opaque

Require Import zoo_parabs.ws_bdeques_public__code.

#[global] Opaque ws_bdeques_public٠capacity.
#[global] Opaque ws_bdeques_public٠create.
#[global] Opaque ws_bdeques_public٠size.
#[global] Opaque ws_bdeques_public٠block.
#[global] Opaque ws_bdeques_public٠unblock.
#[global] Opaque ws_bdeques_public٠push.
#[global] Opaque ws_bdeques_public٠pop.
#[global] Opaque ws_bdeques_public٠steal_to.
#[global] Opaque ws_bdeques_public٠steal_as₁.
#[global] Opaque ws_bdeques_public٠steal_as.