{-# OPTIONS --without-K --safe #-}

module Data.Bool where

open import Data.Bool.Base public
open import Data.Bool.Truth public