Library zoo_std.xdeque__opaque

From zoo_std Require Import
  xdeque__code.

#[global] Opaque xdeque٠create.
#[global] Opaque xdeque٠is_empty.
#[global] Opaque xdeque٠push_front.
#[global] Opaque xdeque٠push_back.
#[global] Opaque xdeque٠pop_front.
#[global] Opaque xdeque٠pop_back.
#[global] Opaque xdeque٠remove.
#[global] Opaque xdeque٠iter.