{-# 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 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.Agda.Primitive
import qualified MAlonzo.Code.Reflection.Abstraction
import qualified MAlonzo.Code.Reflection.Argument
import qualified MAlonzo.Code.Reflection.Argument.Information
import qualified MAlonzo.Code.Reflection.Argument.Modality
import qualified MAlonzo.Code.Reflection.Argument.Relevance
import qualified MAlonzo.Code.Reflection.Argument.Visibility
import qualified MAlonzo.Code.Reflection.Literal
import qualified MAlonzo.Code.Reflection.Meta
import qualified MAlonzo.Code.Reflection.Name
import qualified MAlonzo.Code.Reflection.Term
import qualified MAlonzo.Code.Relation.Nullary

-- Reflection.returnTC
d_returnTC_2 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> AgdaAny
d_returnTC_2 :: T_Level_18 -> T_Level_18 -> AgdaAny -> AgdaAny
d_returnTC_2
  = AgdaAny -> T_Level_18 -> T_Level_18 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall {a}. a
MAlonzo.Code.Agda.Builtin.Reflection.d_returnTC_324
-- Reflection.Arg-info
d_Arg'45'info_4 :: ()
d_Arg'45'info_4 :: T_Level_18
d_Arg'45'info_4 = T_Level_18
forall {a}. a
erased
-- Reflection._≟-Lit_
d__'8799''45'Lit__6 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Lit__6 :: T_Literal_124 -> T_Literal_124 -> T_Dec_32
d__'8799''45'Lit__6
  = (T_Literal_124 -> T_Literal_124 -> T_Dec_32)
-> T_Literal_124 -> T_Literal_124 -> T_Dec_32
forall a b. a -> b
coe T_Literal_124 -> T_Literal_124 -> T_Dec_32
MAlonzo.Code.Reflection.Literal.d__'8799'__46
-- Reflection._≟-Name_
d__'8799''45'Name__8 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Name__8 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799''45'Name__8
  = (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
MAlonzo.Code.Reflection.Name.d__'8799'__10
-- Reflection._≟-Meta_
d__'8799''45'Meta__10 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Meta__10 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799''45'Meta__10
  = (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
MAlonzo.Code.Reflection.Meta.d__'8799'__8
-- Reflection._≟-Visibility_
d__'8799''45'Visibility__12 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Visibility__12 :: T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
d__'8799''45'Visibility__12
  = (T_Visibility_48 -> T_Visibility_48 -> T_Dec_32)
-> T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
forall a b. a -> b
coe T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Visibility.d__'8799'__6
-- Reflection._≟-Relevance_
d__'8799''45'Relevance__14 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Relevance__14 :: T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
d__'8799''45'Relevance__14
  = (T_Relevance_56 -> T_Relevance_56 -> T_Dec_32)
-> T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
forall a b. a -> b
coe T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Relevance.d__'8799'__6
-- Reflection._≟-Arg-info_
d__'8799''45'Arg'45'info__16 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Arg'45'info__16 :: T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
d__'8799''45'Arg'45'info__16
  = (T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32)
-> T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
forall a b. a -> b
coe T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Information.d__'8799'__28
-- Reflection._≟-Pattern_
d__'8799''45'Pattern__18 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Pattern__18 :: T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
d__'8799''45'Pattern__18
  = (T_Pattern_158 -> T_Pattern_158 -> T_Dec_32)
-> T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
forall a b. a -> b
coe T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Pattern__190
-- Reflection._≟-ArgPatterns_
d__'8799''45'ArgPatterns__20 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgPatterns__20 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
d__'8799''45'ArgPatterns__20
  = ([T_Arg_88] -> [T_Arg_88] -> T_Dec_32)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Patterns__188
-- Reflection.map-Abs
d_map'45'Abs_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112
d_map'45'Abs_22 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> T_Abs_112
-> T_Abs_112
d_map'45'Abs_22 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 T_Abs_112
v5
  = ((AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112)
-> (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112
MAlonzo.Code.Reflection.Abstraction.du_map_12 AgdaAny -> AgdaAny
v4 T_Abs_112
v5
-- Reflection.map-Arg
d_map'45'Arg_24 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88
d_map'45'Arg_24 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> T_Arg_88
-> T_Arg_88
d_map'45'Arg_24 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 T_Arg_88
v5
  = ((AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88)
-> (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88
MAlonzo.Code.Reflection.Argument.du_map_46 AgdaAny -> AgdaAny
v4 T_Arg_88
v5
-- Reflection.map-Args
d_map'45'Args_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88]
d_map'45'Args_26 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> [T_Arg_88]
-> [T_Arg_88]
d_map'45'Args_26 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 [T_Arg_88]
v5
  = ((AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88])
-> (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88]
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88]
MAlonzo.Code.Reflection.Argument.du_map'45'Args_54 AgdaAny -> AgdaAny
v4 [T_Arg_88]
v5
-- Reflection.visibility
d_visibility_28 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48
d_visibility_28 :: T_ArgInfo_76 -> T_Visibility_48
d_visibility_28
  = (T_ArgInfo_76 -> T_Visibility_48)
-> T_ArgInfo_76 -> T_Visibility_48
forall a b. a -> b
coe T_ArgInfo_76 -> T_Visibility_48
MAlonzo.Code.Reflection.Argument.Information.d_visibility_14
-- Reflection.relevance
d_relevance_30 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Modality_68 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56
d_relevance_30 :: T_Modality_68 -> T_Relevance_56
d_relevance_30
  = (T_Modality_68 -> T_Relevance_56)
-> T_Modality_68 -> T_Relevance_56
forall a b. a -> b
coe T_Modality_68 -> T_Relevance_56
MAlonzo.Code.Reflection.Argument.Modality.d_relevance_14
-- Reflection._≟-AbsTerm_
d__'8799''45'AbsTerm__32 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'AbsTerm__32 :: T_Abs_112 -> T_Abs_112 -> T_Dec_32
d__'8799''45'AbsTerm__32
  = (T_Abs_112 -> T_Abs_112 -> T_Dec_32)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_32
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'AbsTerm__170
-- Reflection._≟-AbsType_
d__'8799''45'AbsType__34 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'AbsType__34 :: T_Abs_112 -> T_Abs_112 -> T_Dec_32
d__'8799''45'AbsType__34
  = (T_Abs_112 -> T_Abs_112 -> T_Dec_32)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_32
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'AbsType__172
-- Reflection._≟-ArgTerm_
d__'8799''45'ArgTerm__36 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgTerm__36 :: T_Arg_88 -> T_Arg_88 -> T_Dec_32
d__'8799''45'ArgTerm__36
  = (T_Arg_88 -> T_Arg_88 -> T_Dec_32)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_32
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'ArgTerm__174
-- Reflection._≟-ArgType_
d__'8799''45'ArgType__38 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgType__38 :: T_Arg_88 -> T_Arg_88 -> T_Dec_32
d__'8799''45'ArgType__38
  = (T_Arg_88 -> T_Arg_88 -> T_Dec_32)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_32
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'ArgType__176
-- Reflection._≟-Args_
d__'8799''45'Args__40 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Args__40 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
d__'8799''45'Args__40
  = ([T_Arg_88] -> [T_Arg_88] -> T_Dec_32)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Args__178
-- Reflection._≟-Clause_
d__'8799''45'Clause__42 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Clause__42 :: T_Clause_160 -> T_Clause_160 -> T_Dec_32
d__'8799''45'Clause__42
  = (T_Clause_160 -> T_Clause_160 -> T_Dec_32)
-> T_Clause_160 -> T_Clause_160 -> T_Dec_32
forall a b. a -> b
coe T_Clause_160 -> T_Clause_160 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Clause__180
-- Reflection._≟-Clauses_
d__'8799''45'Clauses__44 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Clauses__44 :: [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
d__'8799''45'Clauses__44
  = ([T_Clause_160] -> [T_Clause_160] -> T_Dec_32)
-> [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
forall a b. a -> b
coe [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Clauses__182
-- Reflection._≟_
d__'8799'__46 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799'__46 :: T_Term_154 -> T_Term_154 -> T_Dec_32
d__'8799'__46 = (T_Term_154 -> T_Term_154 -> T_Dec_32)
-> T_Term_154 -> T_Term_154 -> T_Dec_32
forall a b. a -> b
coe T_Term_154 -> T_Term_154 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799'__184
-- Reflection._≟-Sort_
d__'8799''45'Sort__48 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Sort__48 :: T_Sort_156 -> T_Sort_156 -> T_Dec_32
d__'8799''45'Sort__48
  = (T_Sort_156 -> T_Sort_156 -> T_Dec_32)
-> T_Sort_156 -> T_Sort_156 -> T_Dec_32
forall a b. a -> b
coe T_Sort_156 -> T_Sort_156 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Sort__186