Library zoo_saturn.inf_ws_deque_1__opaque

From zoo_saturn Require Import
  inf_ws_deque_1__code.

#[global] Opaque inf_ws_deque_1٠create.
#[global] Opaque inf_ws_deque_1٠size.
#[global] Opaque inf_ws_deque_1٠is_empty.
#[global] Opaque inf_ws_deque_1٠push.
#[global] Opaque inf_ws_deque_1٠pop.
#[global] Opaque inf_ws_deque_1٠steal.