{-# OPTIONS --cubical-compatible #-}
module Terra.Data.Bool.Functions where
open import Terra.Data.Bool
open import Terra.Data.Level
open import Terra.Data.Level.Variables