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