{-# OPTIONS --cubical --safe #-} module Cubical.Data.Vec where open import Cubical.Data.Vec.Base public open import Cubical.Data.Vec.Properties public open import Cubical.Data.Vec.NAry public