{-# OPTIONS --cubical-compatible #-}

module Terra.Data.Equality.Functions where
open import Terra.Data.Equality
open import Terra.Data.Level
open import Terra.Data.Level.Variables