Library zoo_std.deque__opaque

From zoo_std Require Import
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.