{-# 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.Reflection.Name 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
import qualified MAlonzo.Code.Agda.Builtin.Reflection
import qualified MAlonzo.Code.Data.Product.Properties
import qualified MAlonzo.Code.Data.Word.Properties
import qualified MAlonzo.Code.Relation.Binary.Construct.On
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core

-- Reflection.Name.Names
d_Names_4 :: ()
d_Names_4 :: ()
d_Names_4 = ()
forall a. a
erased
-- Reflection.Name._≈_
d__'8776'__6 :: AgdaAny -> AgdaAny -> ()
d__'8776'__6 :: AgdaAny -> AgdaAny -> ()
d__'8776'__6 = AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Reflection.Name._≈?_
d__'8776''63'__8 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8776''63'__8 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8776''63'__8
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> T_Dec_32)
 -> AgdaAny
 -> AgdaAny
 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> T_Dec_32)
-> AgdaAny
-> AgdaAny
-> T_Dec_32
MAlonzo.Code.Relation.Binary.Construct.On.du_decidable_102
      ((QName -> (Integer, Integer)) -> AgdaAny
forall a b. a -> b
coe QName -> (Integer, Integer)
MAlonzo.Code.Agda.Builtin.Reflection.d_primQNameToWord64s_36)
      (((AgdaAny -> AgdaAny -> T_Dec_32)
 -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_32)
 -> T_Σ_14
 -> T_Σ_14
 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny -> T_Dec_32)
-> (AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_32)
-> T_Σ_14
-> T_Σ_14
-> T_Dec_32
MAlonzo.Code.Data.Product.Properties.du_'8801''45'dec_70
         ((Word64 -> Word64 -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe Word64 -> Word64 -> T_Dec_32
MAlonzo.Code.Data.Word.Properties.d__'8799'__52)
         ((AgdaAny -> Word64 -> Word64 -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> Word64 -> Word64 -> T_Dec_32
MAlonzo.Code.Data.Word.Properties.d__'8799'__52)))
-- Reflection.Name._≟_
d__'8799'__10 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799'__10 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799'__10 AgdaAny
v0 AgdaAny
v1
  = ((AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
      AgdaAny
forall a. a
erased ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
d__'8776''63'__8 AgdaAny
v0 AgdaAny
v1)