------------------------------------------------------------------------
-- 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?; _≟_; _≤?_; _<?_)