{-# OPTIONS --safe --without-K #-}
module Type where

open import Type.Base       public
open import Type.Properties public

Generated from commit 2fd14c996b195ef101dff8919e837907ca0a08aa.