content: {-# 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.Term where
  
  import Data.Text qualified
  import MAlonzo.Code.Agda.Builtin.Bool qualified
  import MAlonzo.Code.Agda.Builtin.Equality qualified
  import MAlonzo.Code.Agda.Builtin.List qualified
  import MAlonzo.Code.Agda.Builtin.Maybe qualified
  import MAlonzo.Code.Agda.Builtin.Reflection qualified
  import MAlonzo.Code.Agda.Builtin.Sigma qualified
  import MAlonzo.Code.Agda.Builtin.String qualified
  import MAlonzo.Code.Data.List.Base qualified
  import MAlonzo.Code.Data.List.Properties qualified
  import MAlonzo.Code.Data.Nat.Properties qualified
  import MAlonzo.Code.Data.Product.Base qualified
  import MAlonzo.Code.Data.Product.Properties qualified
  import MAlonzo.Code.Data.String.Properties qualified
  import MAlonzo.Code.Reflection.AST.Abstraction qualified
  import MAlonzo.Code.Reflection.AST.Argument qualified
  import MAlonzo.Code.Reflection.AST.Argument.Visibility qualified
  import MAlonzo.Code.Reflection.AST.Literal qualified
  import MAlonzo.Code.Reflection.AST.Meta qualified
  import MAlonzo.Code.Reflection.AST.Name qualified
  import MAlonzo.Code.Relation.Nullary.Decidable.Core qualified
  import MAlonzo.Code.Relation.Nullary.Reflects qualified
  import MAlonzo.RTE (AgdaAny, add64, addInt, coe, eq64, eqInt, erased, geqInt, lt64, ltInt, mul64,
                      mulInt, quot64, quotInt, rem64, remInt, sub64, subInt, word64FromNat,
                      word64ToNat)
  import MAlonzo.RTE qualified
  
  -- Reflection.AST.Term.Clauses
  d_Clauses_6 :: ()
  d_Clauses_6 = erased
  -- Reflection.AST.Term.Telescope
  d_Telescope_8 :: ()
  d_Telescope_8 = erased
  -- Reflection.AST.Term.getName
  d_getName_60 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 -> Maybe AgdaAny
  d_getName_60 v0
    = let v1 = coe MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 in
      coe
        (case coe v0 of
           MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v2 v3
             -> coe MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 (coe v2)
           MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v2 v3
             -> coe MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 (coe v2)
           _ -> coe v1)
  -- Reflection.AST.Term._⋯⟨∷⟩_
  d__'8943''10216''8759''10217'__70 ::
    Integer ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88]
  d__'8943''10216''8759''10217'__70 v0 v1
    = case coe v0 of
        0 -> coe v1
        _ -> let v2 = subInt (coe v0) (coe (1 :: Integer)) in
             coe
               (coe
                  MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                  (coe
                     MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98
                     (coe
                        MAlonzo.Code.Agda.Builtin.Reflection.C_arg'45'info_82
                        (coe MAlonzo.Code.Agda.Builtin.Reflection.C_visible_50)
                        (coe
                           MAlonzo.Code.Agda.Builtin.Reflection.C_modality_74
                           (coe MAlonzo.Code.Agda.Builtin.Reflection.C_relevant_58)
                           (coe MAlonzo.Code.Agda.Builtin.Reflection.C_quantity'45'ω_66)))
                     (coe MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216))
                  (coe d__'8943''10216''8759''10217'__70 (coe v2) (coe v1)))
  -- Reflection.AST.Term._⋯⟅∷⟆_
  d__'8943''10181''8759''10182'__78 ::
    Integer ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88]
  d__'8943''10181''8759''10182'__78 v0 v1
    = case coe v0 of
        0 -> coe v1
        _ -> let v2 = subInt (coe v0) (coe (1 :: Integer)) in
             coe
               (coe
                  MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                  (coe
                     MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98
                     (coe
                        MAlonzo.Code.Agda.Builtin.Reflection.C_arg'45'info_82
                        (coe MAlonzo.Code.Agda.Builtin.Reflection.C_hidden_52)
                        (coe
                           MAlonzo.Code.Agda.Builtin.Reflection.C_modality_74
                           (coe MAlonzo.Code.Agda.Builtin.Reflection.C_relevant_58)
                           (coe MAlonzo.Code.Agda.Builtin.Reflection.C_quantity'45'ω_66)))
                     (coe MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216))
                  (coe d__'8943''10181''8759''10182'__78 (coe v2) (coe v1)))
  -- Reflection.AST.Term.stripPis
  d_stripPis_86 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_stripPis_86 v0
    = let v1
            = coe
                MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32
                (coe MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) (coe v0) in
      coe
        (case coe v0 of
           MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v2 v3
             -> case coe v3 of
                  MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 v4 v5
                    -> coe
                         MAlonzo.Code.Data.Product.Base.du_map'8321'_138
                         (coe
                            MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                            (coe
                               MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 (coe v4) (coe v2)))
                         (d_stripPis_86 (coe v5))
                  _ -> MAlonzo.RTE.mazUnreachableError
           _ -> coe v1)
  -- Reflection.AST.Term.prependLams
  d_prependLams_98 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154
  d_prependLams_98 v0 v1
    = coe
        MAlonzo.Code.Data.List.Base.du_foldr_216
        (coe
           (\ v2 v3 ->
              case coe v2 of
                MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v4 v5
                  -> coe
                       MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 (coe v5)
                       (coe
                          MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 (coe v4) (coe v3))
                _ -> MAlonzo.RTE.mazUnreachableError))
        (coe v1) (coe MAlonzo.Code.Data.List.Base.du_reverse_460 v0)
  -- Reflection.AST.Term.prependHLams
  d_prependHLams_112 ::
    [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154
  d_prependHLams_112 v0
    = coe
        d_prependLams_98
        (coe
           MAlonzo.Code.Data.List.Base.du_map_22
           (coe
              (\ v1 ->
                 coe
                   MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 (coe v1)
                   (coe MAlonzo.Code.Agda.Builtin.Reflection.C_hidden_52)))
           (coe v0))
  -- Reflection.AST.Term.prependVLams
  d_prependVLams_118 ::
    [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154
  d_prependVLams_118 v0
    = coe
        d_prependLams_98
        (coe
           MAlonzo.Code.Data.List.Base.du_map_22
           (coe
              (\ v1 ->
                 coe
                   MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 (coe v1)
                   (coe MAlonzo.Code.Agda.Builtin.Reflection.C_visible_50)))
           (coe v0))
  -- Reflection.AST.Term.clause-injective₁
  d_clause'45'injective'8321'_136 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_clause'45'injective'8321'_136 = erased
  -- Reflection.AST.Term.clause-injective₂
  d_clause'45'injective'8322'_150 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_clause'45'injective'8322'_150 = erased
  -- Reflection.AST.Term.clause-injective₃
  d_clause'45'injective'8323'_164 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_clause'45'injective'8323'_164 = erased
  -- Reflection.AST.Term.clause-injective
  d_clause'45'injective_178 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_clause'45'injective_178 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5
    = du_clause'45'injective_178
  du_clause'45'injective_178 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_clause'45'injective_178
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased
        (coe
           MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased)
  -- Reflection.AST.Term.absurd-clause-injective₁
  d_absurd'45'clause'45'injective'8321'_188 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_absurd'45'clause'45'injective'8321'_188 = erased
  -- Reflection.AST.Term.absurd-clause-injective₂
  d_absurd'45'clause'45'injective'8322'_198 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_absurd'45'clause'45'injective'8322'_198 = erased
  -- Reflection.AST.Term.absurd-clause-injective
  d_absurd'45'clause'45'injective_208 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_absurd'45'clause'45'injective_208 ~v0 ~v1 ~v2 ~v3
    = du_absurd'45'clause'45'injective_208
  du_absurd'45'clause'45'injective_208 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_absurd'45'clause'45'injective_208
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term._≟-AbsTerm_
  d__'8799''45'AbsTerm__210 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'AbsTerm__210 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 v4 v5
                 -> coe
                      MAlonzo.Code.Reflection.AST.Abstraction.du_unAbs'45'dec_46 (coe v0)
                      (coe v1) (coe d__'8799'__224 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-AbsType_
  d__'8799''45'AbsType__212 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'AbsType__212 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 v4 v5
                 -> coe
                      MAlonzo.Code.Reflection.AST.Abstraction.du_unAbs'45'dec_46 (coe v0)
                      (coe v1) (coe d__'8799'__224 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-ArgTerm_
  d__'8799''45'ArgTerm__214 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'ArgTerm__214 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v4 v5
                 -> coe
                      MAlonzo.Code.Reflection.AST.Argument.du_unArg'45'dec_84 (coe v0)
                      (coe v1) (coe d__'8799'__224 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-ArgType_
  d__'8799''45'ArgType__216 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'ArgType__216 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v4 v5
                 -> coe
                      MAlonzo.Code.Reflection.AST.Argument.du_unArg'45'dec_84 (coe v0)
                      (coe v1) (coe d__'8799'__224 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Args_
  d__'8799''45'Args__218 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Args__218 v0 v1
    = case coe v0 of
        []
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               (:) v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        (:) v2 v3
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               (:) v4 v5
                 -> coe
                      MAlonzo.Code.Data.List.Properties.du_'8759''45'dec_52
                      (coe d__'8799''45'ArgTerm__214 (coe v2) (coe v4))
                      (coe d__'8799''45'Args__218 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Clause_
  d__'8799''45'Clause__220 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Clause__220 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_clause_272 v2 v3 v4
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_clause_272 v5 v6 v7
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased (coe du_clause'45'injective_178)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe d__'8799''45'Telescope__280 (coe v2) (coe v5))
                         (coe
                            MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                            (coe d__'8799''45'Patterns__228 (coe v3) (coe v6))
                            (coe d__'8799'__224 (coe v4) (coe v7))))
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd'45'clause_278 v5 v6
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_absurd'45'clause_278 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_clause_272 v4 v5 v6
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd'45'clause_278 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_absurd'45'clause'45'injective_208)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe d__'8799''45'Telescope__280 (coe v2) (coe v4))
                         (coe d__'8799''45'Patterns__228 (coe v3) (coe v5)))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Clauses_
  d__'8799''45'Clauses__222 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Clauses__222 v0 v1
    = case coe v0 of
        []
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               (:) v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        (:) v2 v3
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               (:) v4 v5
                 -> coe
                      MAlonzo.Code.Data.List.Properties.du_'8759''45'dec_52
                      (coe d__'8799''45'Clause__220 (coe v2) (coe v4))
                      (coe d__'8799''45'Clauses__222 (coe v3) (coe v5))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟_
  d__'8799'__224 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799'__224 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_var'45'injective_350)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v4))
                         (coe d__'8799''45'Args__218 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_con'45'injective_380)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Reflection.AST.Name.d__'8799'__12 (coe v2) (coe v4))
                         (coe d__'8799''45'Args__218 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_def'45'injective_410)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Reflection.AST.Name.d__'8799'__12 (coe v2) (coe v4))
                         (coe d__'8799''45'Args__218 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_lam'45'injective_470)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Reflection.AST.Argument.Visibility.d__'8799'__8
                            (coe v2) (coe v4))
                         (coe d__'8799''45'AbsTerm__210 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_pat'45'lam'45'injective_500)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe d__'8799''45'Clauses__222 (coe v2) (coe v4))
                         (coe d__'8799''45'Args__218 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_pi'45'injective_530)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe d__'8799''45'ArgType__216 (coe v2) (coe v4))
                         (coe d__'8799''45'AbsType__212 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased (coe d__'8799''45'Sort__226 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Reflection.AST.Literal.d__'8799'__48 (coe v2)
                         (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_meta'45'injective_440)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Reflection.AST.Meta.d__'8799'__10 (coe v2) (coe v4))
                         (coe d__'8799''45'Args__218 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Sort_
  d__'8799''45'Sort__226 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Sort__226 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased (coe d__'8799'__224 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased (coe d__'8799'__224 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 v2
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Patterns_
  d__'8799''45'Patterns__228 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Patterns__228 v0 v1
    = case coe v0 of
        []
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               (:) v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        (:) v2 v3
          -> case coe v2 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v4 v5
                 -> case coe v1 of
                      []
                        -> coe
                             MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                             (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                             (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                      (:) v6 v7
                        -> case coe v6 of
                             MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 v8 v9
                               -> coe
                                    MAlonzo.Code.Data.List.Properties.du_'8759''45'dec_52
                                    (coe
                                       MAlonzo.Code.Reflection.AST.Argument.du_unArg'45'dec_84
                                       (coe v2) (coe v6)
                                       (coe d__'8799''45'Pattern__230 (coe v5) (coe v9)))
                                    (coe d__'8799''45'Patterns__228 (coe v3) (coe v7))
                             _ -> MAlonzo.RTE.mazUnreachableError
                      _ -> MAlonzo.RTE.mazUnreachableError
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Pattern_
  d__'8799''45'Pattern__230 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Pattern__230 v0 v1
    = case coe v0 of
        MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v2 v3
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v4 v5
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                      (coe du_pat'45'con'45'injective_1046)
                      (coe
                         MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                         (coe
                            MAlonzo.Code.Reflection.AST.Name.d__'8799'__12 (coe v2) (coe v4))
                         (coe d__'8799''45'Patterns__228 (coe v3) (coe v5)))
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased (coe d__'8799'__224 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Reflection.AST.Literal.d__'8799'__48 (coe v2)
                         (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Reflection.AST.Name.d__'8799'__12 (coe v2) (coe v3))
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v2
          -> case coe v1 of
               MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 v3 v4
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                      erased erased
                      (coe
                         MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (coe v2) (coe v3))
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term._≟-Telescope_
  d__'8799''45'Telescope__280 ::
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8799''45'Telescope__280 v0 v1
    = case coe v0 of
        []
          -> case coe v1 of
               []
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
               (:) v2 v3
                 -> coe
                      MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                      (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                      (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
               _ -> MAlonzo.RTE.mazUnreachableError
        (:) v2 v3
          -> case coe v2 of
               MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v4 v5
                 -> case coe v1 of
                      []
                        -> coe
                             MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                             (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                             (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                      (:) v6 v7
                        -> case coe v6 of
                             MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v8 v9
                               -> coe
                                    MAlonzo.Code.Data.List.Properties.du_'8759''45'dec_52
                                    (coe
                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
                                       (coe MAlonzo.Code.Data.Product.Base.du_uncurry_244 erased)
                                       (\ v10 ->
                                          coe
                                            MAlonzo.Code.Data.Product.Properties.du_'44''45'injective_142)
                                       (coe
                                          MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                                          (coe
                                             MAlonzo.Code.Data.String.Properties.d__'8799'__54
                                             (coe v4) (coe v8))
                                          (coe d__'8799''45'ArgTerm__214 (coe v5) (coe v9))))
                                    (coe d__'8799''45'Telescope__280 (coe v3) (coe v7))
                             _ -> MAlonzo.RTE.mazUnreachableError
                      _ -> MAlonzo.RTE.mazUnreachableError
               _ -> MAlonzo.RTE.mazUnreachableError
        _ -> MAlonzo.RTE.mazUnreachableError
  -- Reflection.AST.Term.var-injective₁
  d_var'45'injective'8321'_330 ::
    Integer ->
    Integer ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_var'45'injective'8321'_330 = erased
  -- Reflection.AST.Term.var-injective₂
  d_var'45'injective'8322'_340 ::
    Integer ->
    Integer ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_var'45'injective'8322'_340 = erased
  -- Reflection.AST.Term.var-injective
  d_var'45'injective_350 ::
    Integer ->
    Integer ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_var'45'injective_350 ~v0 ~v1 ~v2 ~v3 = du_var'45'injective_350
  du_var'45'injective_350 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_var'45'injective_350
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.con-injective₁
  d_con'45'injective'8321'_360 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_con'45'injective'8321'_360 = erased
  -- Reflection.AST.Term.con-injective₂
  d_con'45'injective'8322'_370 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_con'45'injective'8322'_370 = erased
  -- Reflection.AST.Term.con-injective
  d_con'45'injective_380 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_con'45'injective_380 ~v0 ~v1 ~v2 ~v3 = du_con'45'injective_380
  du_con'45'injective_380 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_con'45'injective_380
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.def-injective₁
  d_def'45'injective'8321'_390 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_def'45'injective'8321'_390 = erased
  -- Reflection.AST.Term.def-injective₂
  d_def'45'injective'8322'_400 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_def'45'injective'8322'_400 = erased
  -- Reflection.AST.Term.def-injective
  d_def'45'injective_410 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_def'45'injective_410 ~v0 ~v1 ~v2 ~v3 = du_def'45'injective_410
  du_def'45'injective_410 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_def'45'injective_410
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.meta-injective₁
  d_meta'45'injective'8321'_420 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_meta'45'injective'8321'_420 = erased
  -- Reflection.AST.Term.meta-injective₂
  d_meta'45'injective'8322'_430 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_meta'45'injective'8322'_430 = erased
  -- Reflection.AST.Term.meta-injective
  d_meta'45'injective_440 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_meta'45'injective_440 ~v0 ~v1 ~v2 ~v3 = du_meta'45'injective_440
  du_meta'45'injective_440 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_meta'45'injective_440
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.lam-injective₁
  d_lam'45'injective'8321'_450 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_lam'45'injective'8321'_450 = erased
  -- Reflection.AST.Term.lam-injective₂
  d_lam'45'injective'8322'_460 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_lam'45'injective'8322'_460 = erased
  -- Reflection.AST.Term.lam-injective
  d_lam'45'injective_470 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_lam'45'injective_470 ~v0 ~v1 ~v2 ~v3 = du_lam'45'injective_470
  du_lam'45'injective_470 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_lam'45'injective_470
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.pat-lam-injective₁
  d_pat'45'lam'45'injective'8321'_480 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'lam'45'injective'8321'_480 = erased
  -- Reflection.AST.Term.pat-lam-injective₂
  d_pat'45'lam'45'injective'8322'_490 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'lam'45'injective'8322'_490 = erased
  -- Reflection.AST.Term.pat-lam-injective
  d_pat'45'lam'45'injective_500 ::
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_pat'45'lam'45'injective_500 ~v0 ~v1 ~v2 ~v3
    = du_pat'45'lam'45'injective_500
  du_pat'45'lam'45'injective_500 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_pat'45'lam'45'injective_500
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.pi-injective₁
  d_pi'45'injective'8321'_510 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pi'45'injective'8321'_510 = erased
  -- Reflection.AST.Term.pi-injective₂
  d_pi'45'injective'8322'_520 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pi'45'injective'8322'_520 = erased
  -- Reflection.AST.Term.pi-injective
  d_pi'45'injective_530 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_pi'45'injective_530 ~v0 ~v1 ~v2 ~v3 = du_pi'45'injective_530
  du_pi'45'injective_530 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_pi'45'injective_530
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.sort-injective
  d_sort'45'injective_536 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_sort'45'injective_536 = erased
  -- Reflection.AST.Term.lit-injective
  d_lit'45'injective_542 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_lit'45'injective_542 = erased
  -- Reflection.AST.Term.set-injective
  d_set'45'injective_548 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_set'45'injective_548 = erased
  -- Reflection.AST.Term.slit-injective
  d_slit'45'injective_554 ::
    Integer ->
    Integer ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_slit'45'injective_554 = erased
  -- Reflection.AST.Term.prop-injective
  d_prop'45'injective_560 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_prop'45'injective_560 = erased
  -- Reflection.AST.Term.propLit-injective
  d_propLit'45'injective_566 ::
    Integer ->
    Integer ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_propLit'45'injective_566 = erased
  -- Reflection.AST.Term.inf-injective
  d_inf'45'injective_572 ::
    Integer ->
    Integer ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_inf'45'injective_572 = erased
  -- Reflection.AST.Term.pat-con-injective₁
  d_pat'45'con'45'injective'8321'_1026 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'con'45'injective'8321'_1026 = erased
  -- Reflection.AST.Term.pat-con-injective₂
  d_pat'45'con'45'injective'8322'_1036 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'con'45'injective'8322'_1036 = erased
  -- Reflection.AST.Term.pat-con-injective
  d_pat'45'con'45'injective_1046 ::
    AgdaAny ->
    AgdaAny ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  d_pat'45'con'45'injective_1046 ~v0 ~v1 ~v2 ~v3
    = du_pat'45'con'45'injective_1046
  du_pat'45'con'45'injective_1046 ::
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
  du_pat'45'con'45'injective_1046
    = coe
        MAlonzo.Code.Data.Product.Base.du_'60'_'44'_'62'_112 erased erased
  -- Reflection.AST.Term.pat-var-injective
  d_pat'45'var'45'injective_1052 ::
    Integer ->
    Integer ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'var'45'injective_1052 = erased
  -- Reflection.AST.Term.pat-lit-injective
  d_pat'45'lit'45'injective_1058 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_pat'45'lit'45'injective_1058 = erased
  -- Reflection.AST.Term.proj-injective
  d_proj'45'injective_1064 ::
    AgdaAny ->
    AgdaAny ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_proj'45'injective_1064 = erased
  -- Reflection.AST.Term.dot-injective
  d_dot'45'injective_1070 ::
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_dot'45'injective_1070 = erased
  -- Reflection.AST.Term.absurd-injective
  d_absurd'45'injective_1076 ::
    Integer ->
    Integer ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
    MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
  d_absurd'45'injective_1076 = erased
  