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

open import Data.Vec.Inductive.Base       public
open import Data.Vec.Inductive.Membership public
open import Data.Vec.Inductive.Path       public
open import Data.Vec.Inductive.Properties public

open import Data.Vec.Inductive.Instances.Everything public
