module Generic.Base where

open import Cubical.Foundations.Prelude public
open import Cubical.Foundations.Equiv public
open import Cubical.Foundations.Isomorphism public

open import Agda.Builtin.String public using (String)

open import Cubical.Data.Bool.Base public using (Bool; true; false)
open import Cubical.Data.Empty.Base public
open import Cubical.Data.FinData.Base public using (Fin)
open import Cubical.Data.List.Base public using (List; []; _∷_)
open import Cubical.Data.Nat.Base public using (ℕ; zero; suc)
open import Cubical.Data.Sigma.Base public
open import Cubical.Data.Unit.Base public