Library zoo_saturn.ws_bdeque_1__opaque

Require Import zoo_saturn.ws_bdeque_1__code.

#[global] Opaque ws_bdeque_1٠create.
#[global] Opaque ws_bdeque_1٠capacity.
#[global] Opaque ws_bdeque_1٠size.
#[global] Opaque ws_bdeque_1٠is_empty.
#[global] Opaque ws_bdeque_1٠front_cached.
#[global] Opaque ws_bdeque_1٠push.
#[global] Opaque ws_bdeque_1٠steal.
#[global] Opaque ws_bdeque_1٠pop₁.
#[global] Opaque ws_bdeque_1٠pop.