{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Agda.Builtin.Bool where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text

-- Agda.Builtin.Bool.Bool
type T_Bool_6 = Bool
d_Bool_6 :: ()
d_Bool_6 = ()
pattern $mC_false_8 :: forall {r}. Bool -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_false_8 :: Bool
C_false_8 = False
pattern $mC_true_10 :: forall {r}. Bool -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_true_10 :: Bool
C_true_10 = True