Library zoo_parabs.ws_deques_private__opaque

From zoo_parabs Require Import
  ws_deques_private__code.