Library zoo_parabs.ws_bdeques_public__opaque

From zoo_parabs Require Import
  ws_bdeques_public__code.