{-# OPTIONS --without-K --rewriting #-}

module lib.wild-cats.WildCats where

open import lib.wild-cats.EquivWC-props public
open import lib.wild-cats.WildCat public
open import lib.wild-cats.WildFunctor public
open import lib.wild-cats.WildNatTr public