Library zoo_std.deque__opaque

Require Import zoo_std.deque__code.

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