{-# OPTIONS --safe #-}
module Data.Vec.Ergonomic where

open import Data.Vec.Ergonomic.Base       public
-- open import Data.Vec.Ergonomic.Properties public

-- open import Data.Vec.Ergonomic.Instances.Everything public
