Library zoo_parabs.ws_hub_fifo__opaque
From
zoo_parabs
Require
Import
ws_hub_fifo__code
.