------------------------------------------------------------------------------
-- Colists
------------------------------------------------------------------------------

{-# OPTIONS --exact-split              #-}
{-# OPTIONS --no-sized-types           #-}
{-# OPTIONS --no-universe-polymorphism #-}
{-# OPTIONS --without-K                #-}

module FOTC.Data.Colist where

open import FOTC.Base
open import FOTC.Data.Colist.Type public