{-# OPTIONS --safe #-}
module Cubical.Induction.Everything where

import Cubical.Induction.WellFounded