{-# OPTIONS --safe #-}
module Data.Bool where

open import Data.Bool.Base       public
open import Data.Bool.Path       public
open import Data.Bool.Properties public

open import Data.Bool.Instances.Everything public
