{-# 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.AST.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.Word64.Properties
import qualified MAlonzo.Code.Relation.Binary.Construct.On
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core

-- Reflection.AST.Name.Names
d_Names_6 :: ()
d_Names_6 :: ()
d_Names_6 = ()
forall a. a
erased
-- Reflection.AST.Name._≈_
d__'8776'__8 :: AgdaAny -> AgdaAny -> ()
d__'8776'__8 :: AgdaAny -> AgdaAny -> ()
d__'8776'__8 = AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Reflection.AST.Name._≈?_
d__'8776''63'__10 ::
  AgdaAny ->
  AgdaAny -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8776''63'__10 :: AgdaAny -> AgdaAny -> T_Dec_20
d__'8776''63'__10
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> T_Dec_20)
 -> AgdaAny
 -> AgdaAny
 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> T_Dec_20)
-> AgdaAny
-> AgdaAny
-> T_Dec_20
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_20)
 -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_20)
 -> T_Σ_14
 -> T_Σ_14
 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny -> T_Dec_20)
-> (AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_20)
-> T_Σ_14
-> T_Σ_14
-> T_Dec_20
MAlonzo.Code.Data.Product.Properties.du_'8801''45'dec_78
         ((Word64 -> Word64 -> T_Dec_20) -> AgdaAny
forall a b. a -> b
coe Word64 -> Word64 -> T_Dec_20
MAlonzo.Code.Data.Word64.Properties.d__'8799'__52)
         ((AgdaAny -> Word64 -> Word64 -> T_Dec_20) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> Word64 -> Word64 -> T_Dec_20
MAlonzo.Code.Data.Word64.Properties.d__'8799'__52)))
-- Reflection.AST.Name._≟_
d__'8799'__12 ::
  AgdaAny ->
  AgdaAny -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799'__12 :: AgdaAny -> AgdaAny -> T_Dec_20
d__'8799'__12 AgdaAny
v0 AgdaAny
v1
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_Dec_20 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_Dec_20 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
      AgdaAny
forall a. a
erased AgdaAny
forall a. a
erased ((AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_20
d__'8776''63'__10 AgdaAny
v0 AgdaAny
v1)