{-# OPTIONS --without-K --exact-split --two-level #-}

module 2LTT_C.Exotypes where

open import 2LTT_C.Exotypes.Coproduct      public
open import 2LTT_C.Exotypes.Empty          public
open import 2LTT_C.Exotypes.Exo_Equality   public
open import 2LTT_C.Exotypes.Finite         public
open import 2LTT_C.Exotypes.Functions      public
open import 2LTT_C.Exotypes.Naturals       public
open import 2LTT_C.Exotypes.List           public
open import 2LTT_C.Exotypes.Pi             public
open import 2LTT_C.Primitive               public
open import 2LTT_C.Exotypes.Sigma          public
open import 2LTT_C.Exotypes.BinTree        public
open import 2LTT_C.Exotypes.W-type         public
open import 2LTT_C.Exotypes.Unit           public