------------------------------------------------------------------------ -- The Agda standard library -- -- Booleans ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Data.Bool where ------------------------------------------------------------------------ -- The boolean type and some operations open import Data.Bool.Base public ------------------------------------------------------------------------ -- Publicly re-export queries open import Data.Bool.Properties public using (T?; _≟_; _≤?_; _<?_)