module Imports.Bool where

data Bool : Set where
  true false : Bool