{-# OPTIONS --safe --exact-split --prop  #-}
module Data.Vec where

open import Data.Vec.Definition public
open import Data.Vec.Property public
open import Data.Vec.Function public
open import Data.Vec.Construction public
