{-# OPTIONS --no-exact-split --safe #-}
module Cubical.Data.Queue.Base where

open import Cubical.Data.Queue.1List public
open import Cubical.Data.Queue.Truncated2List public
open import Cubical.Data.Queue.Untruncated2List public