{-# 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.Untyped.Purity where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Bool
import qualified MAlonzo.Code.Agda.Builtin.Equality
import qualified MAlonzo.Code.Agda.Builtin.Maybe
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Builtin
import qualified MAlonzo.Code.Data.Irrelevant
import qualified MAlonzo.Code.Data.List.Relation.Unary.All
import qualified MAlonzo.Code.RawU
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
import qualified MAlonzo.Code.Relation.Nullary.Reflects
import qualified MAlonzo.Code.Untyped
import qualified MAlonzo.Code.Untyped.CEK
import qualified MAlonzo.Code.Untyped.Reduction
import qualified MAlonzo.Code.VerifiedCompilation.UntypedViews

-- Untyped.Purity.Pure
d_Pure_6 :: p -> p -> ()
d_Pure_6 p
a0 p
a1 = ()
data T_Pure_6
  = C_force_12 T_Pure_6 |
    C_constr_18 MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 |
    C_case_28 MAlonzo.Code.Untyped.T__'8866'_14 T_Pure_6 |
    C_builtin_32 |
    C_unsat'45'builtin'8320'_40 Integer Integer T_Pure_6 |
    C_unsat'45'builtin'8320''8331''8321'_46 Integer T_Pure_6 |
    C_unsat'45'builtin'8321'_54 Integer T_Pure_6 T_Pure_6 |
    C_app_60 T_Pure_6 T_Pure_6 | C_var_64 | C_delay_68 | C_ƛ_72 |
    C_con_76
-- Untyped.Purity.isPure?
d_isPure'63'_82 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d_isPure'63'_82 :: () -> T__'8866'_14 -> T_Dec_20
d_isPure'63'_82 ~()
v0 T__'8866'_14
v1 = T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 T__'8866'_14
v1
du_isPure'63'_82 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
du_isPure'63'_82 :: T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 T__'8866'_14
v0
  = case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v0 of
      MAlonzo.Code.Untyped.C_'96'_18 AgdaAny
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 (T_Pure_6 -> AgdaAny
forall a b. a -> b
coe T_Pure_6
C_var_64))
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 (T_Pure_6 -> AgdaAny
forall a b. a -> b
coe T_Pure_6
C_ƛ_72))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v1 T__'8866'_14
v2
        -> let v3 :: t
v3
                 = ((() -> T__'8866'_14 -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20)
-> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> t
forall a b. a -> b
coe
                     (() -> T__'8866'_14 -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isLambda'63'_70
                     (\ AgdaAny
v3 AgdaAny
v4 ->
                        T_Dec_20 -> AgdaAny
forall a b. a -> b
coe
                          T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isTerm'63'_782)
                     (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
           AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v3 of
                MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v4 T_Reflects_16
v5
                  -> if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                       then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v5 of
                              MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v6
                                -> case AgdaAny -> T_isLambda_54
forall a b. a -> b
coe AgdaAny
v6 of
                                     MAlonzo.Code.VerifiedCompilation.UntypedViews.C_islambda_62 AgdaAny
v8
                                       -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                            MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v9
                                              -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                   AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v8)
                                                   (let v10 :: t
v10
                                                          = (T_Dec_20 -> T_Dec_20 -> T_Dec_20) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                                                              T_Dec_20 -> T_Dec_20 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                                                              ((T__'8866'_14 -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v9))
                                                              ((T__'8866'_14 -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v2)) in
                                                    AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                      (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v10 of
                                                         MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v11 T_Reflects_16
v12
                                                           -> if Bool -> Bool
forall a b. a -> b
coe Bool
v11
                                                                then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v12 of
                                                                       MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v13
                                                                         -> case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
v13 of
                                                                              MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v14 AgdaAny
v15
                                                                                -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                     Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                                     (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v11)
                                                                                     ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                        AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                                                        ((T_Pure_6 -> T_Pure_6 -> T_Pure_6) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                           T_Pure_6 -> T_Pure_6 -> T_Pure_6
C_app_60
                                                                                           AgdaAny
v14 AgdaAny
v15))
                                                                              T_Σ_14
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                       T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                       AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v12)
                                                                       ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                          Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                          (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v11)
                                                                          (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                                             T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                                         T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                            T__'8866'_14
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                     T_isLambda_54
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                              T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                       else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v5)
                              (let v6 :: t
v6 = (T__'8866'_14 -> T_Arity_4) -> AgdaAny -> t
forall a b. a -> b
coe T__'8866'_14 -> T_Arity_4
MAlonzo.Code.Untyped.Reduction.du_sat_36 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
                               AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 (case AgdaAny -> T_Arity_4
forall a b. a -> b
coe AgdaAny
forall {t}. t
v6 of
                                    T_Arity_4
MAlonzo.Code.Untyped.Reduction.C_no'45'builtin_6
                                      -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                           Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                           (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                           (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                              T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                    MAlonzo.Code.Untyped.Reduction.C_want_8 Integer
v7 Integer
v8
                                      -> case Integer -> Integer
forall a b. a -> b
coe Integer
v7 of
                                           Integer
0 -> case Integer -> Integer
forall a b. a -> b
coe Integer
v8 of
                                                  Integer
0 -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                         (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                                         (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                            T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                                  Integer
1 -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                         (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                                         (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                            T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                                  Integer
_ -> let v9 :: Integer
v9
                                                             = Integer -> Integer -> Integer
subInt
                                                                 (Integer -> Integer
forall a b. a -> b
coe Integer
v8) (Integer -> Integer
forall a b. a -> b
coe (Integer
2 :: Integer)) in
                                                       AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         (let v10 :: t
v10
                                                                = (T_Dec_20 -> T_Dec_20 -> T_Dec_20) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                                                                    T_Dec_20 -> T_Dec_20 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                                                                    ((T__'8866'_14 -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1))
                                                                    ((T__'8866'_14 -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                       T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v2)) in
                                                          AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                            (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v10 of
                                                               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v11 T_Reflects_16
v12
                                                                 -> if Bool -> Bool
forall a b. a -> b
coe Bool
v11
                                                                      then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v12 of
                                                                             MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v13
                                                                               -> case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
v13 of
                                                                                    MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v14 AgdaAny
v15
                                                                                      -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                           Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                                           (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v11)
                                                                                           ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                              AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                                                              ((Integer -> T_Pure_6 -> T_Pure_6 -> T_Pure_6)
-> Integer -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                                 Integer -> T_Pure_6 -> T_Pure_6 -> T_Pure_6
C_unsat'45'builtin'8321'_54
                                                                                                 Integer
v9
                                                                                                 AgdaAny
v14
                                                                                                 AgdaAny
v15))
                                                                                    T_Σ_14
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                             T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                      else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                             AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v12)
                                                                             ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                                (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v11)
                                                                                (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                                                   T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                                               T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                           Integer
_ -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                  Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                  (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                                  (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                     T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                    T_Arity_4
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v1
        -> let v2 :: t
v2
                 = (()
 -> (() -> T__'8866'_14 -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20)
-> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> t
forall a b. a -> b
coe
                     () -> (() -> T__'8866'_14 -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isDelay'63'_370
                     AgdaAny
forall {t}. t
erased
                     (\ AgdaAny
v2 AgdaAny
v3 ->
                        T_Dec_20 -> AgdaAny
forall a b. a -> b
coe
                          T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isTerm'63'_782)
                     (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
           AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v2 of
                MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v3 T_Reflects_16
v4
                  -> if Bool -> Bool
forall a b. a -> b
coe Bool
v3
                       then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v4 of
                              MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v5
                                -> case AgdaAny -> T_isDelay_354
forall a b. a -> b
coe AgdaAny
v5 of
                                     MAlonzo.Code.VerifiedCompilation.UntypedViews.C_isdelay_362 AgdaAny
v7
                                       -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                            MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v8
                                              -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                   AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7)
                                                   (let v9 :: t
v9 = (T__'8866'_14 -> T_Dec_20) -> AgdaAny -> t
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v8) in
                                                    AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                      (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v9 of
                                                         MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v10 T_Reflects_16
v11
                                                           -> if Bool -> Bool
forall a b. a -> b
coe Bool
v10
                                                                then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v11 of
                                                                       MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v12
                                                                         -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                              Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                              (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                              ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                 AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                                                 ((T_Pure_6 -> T_Pure_6) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                    T_Pure_6 -> T_Pure_6
C_force_12 AgdaAny
v12))
                                                                       T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                       AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v11)
                                                                       ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                          Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                          (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                          (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                                             T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                                         T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                            T__'8866'_14
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                     T_isDelay_354
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                              T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                       else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v4)
                              (let v5 :: t
v5 = (T__'8866'_14 -> T_Arity_4) -> AgdaAny -> t
forall a b. a -> b
coe T__'8866'_14 -> T_Arity_4
MAlonzo.Code.Untyped.Reduction.du_sat_36 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
                               AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 (case AgdaAny -> T_Arity_4
forall a b. a -> b
coe AgdaAny
forall {t}. t
v5 of
                                    T_Arity_4
MAlonzo.Code.Untyped.Reduction.C_no'45'builtin_6
                                      -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                           Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                           (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v3)
                                           (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                              T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                    MAlonzo.Code.Untyped.Reduction.C_want_8 Integer
v6 Integer
v7
                                      -> case Integer -> Integer
forall a b. a -> b
coe Integer
v6 of
                                           Integer
0 -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                  Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                  (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v3)
                                                  (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                     T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                           Integer
1 -> case Integer -> Integer
forall a b. a -> b
coe Integer
v7 of
                                                  Integer
0 -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                         (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v3)
                                                         (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                            T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                                                  Integer
_ -> let v8 :: Integer
v8
                                                             = Integer -> Integer -> Integer
subInt
                                                                 (Integer -> Integer
forall a b. a -> b
coe Integer
v7) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
                                                       AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         (let v9 :: t
v9 = (T__'8866'_14 -> T_Dec_20) -> AgdaAny -> t
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
                                                          AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                            (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v9 of
                                                               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v10 T_Reflects_16
v11
                                                                 -> if Bool -> Bool
forall a b. a -> b
coe Bool
v10
                                                                      then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v11 of
                                                                             MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v12
                                                                               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                                    ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                       AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                                                       ((Integer -> T_Pure_6 -> T_Pure_6) -> Integer -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                          Integer -> T_Pure_6 -> T_Pure_6
C_unsat'45'builtin'8320''8331''8321'_46
                                                                                          Integer
v8 AgdaAny
v12))
                                                                             T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                      else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                             AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v11)
                                                                             ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                                (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                                (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                                                   T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                                               T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                           Integer
_ -> let v8 :: Integer
v8 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v6) (Integer -> Integer
forall a b. a -> b
coe (Integer
2 :: Integer)) in
                                                AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                  (let v9 :: t
v9 = (T__'8866'_14 -> T_Dec_20) -> AgdaAny -> t
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (T__'8866'_14 -> AgdaAny
forall a b. a -> b
coe T__'8866'_14
v1) in
                                                   AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                     (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v9 of
                                                        MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v10 T_Reflects_16
v11
                                                          -> if Bool -> Bool
forall a b. a -> b
coe Bool
v10
                                                               then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v11 of
                                                                      MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v12
                                                                        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                                                ((Integer -> Integer -> T_Pure_6 -> T_Pure_6)
-> Integer -> Integer -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                                   Integer -> Integer -> T_Pure_6 -> T_Pure_6
C_unsat'45'builtin'8320'_40
                                                                                   Integer
v8 Integer
v7 AgdaAny
v12))
                                                                      T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                               else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                      AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v11)
                                                                      ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                                         Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                                         (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v10)
                                                                         (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                                            T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                                        T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                    T_Arity_4
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                (T_Pure_6 -> AgdaAny
forall a b. a -> b
coe T_Pure_6
C_delay_68))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_198
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 (T_Pure_6 -> AgdaAny
forall a b. a -> b
coe T_Pure_6
C_con_76))
      MAlonzo.Code.Untyped.C_constr_34 Integer
v1 [T__'8866'_14]
v2
        -> let v3 :: t
v3 = ([T__'8866'_14] -> T_Dec_20) -> AgdaAny -> t
forall a b. a -> b
coe [T__'8866'_14] -> T_Dec_20
du_allPure'63'_88 ([T__'8866'_14] -> AgdaAny
forall a b. a -> b
coe [T__'8866'_14]
v2) in
           AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v3 of
                MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v4 T_Reflects_16
v5
                  -> if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                       then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v5 of
                              MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v6
                                -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                     Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                     (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                     ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                        AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                        ((T_All_44 -> T_Pure_6) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_All_44 -> T_Pure_6
C_constr_18 AgdaAny
v6))
                              T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                       else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v5)
                              ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                 (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                 (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v1 [T__'8866'_14]
v2
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
             MAlonzo.Code.Untyped.C_'96'_18 AgdaAny
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v3 T__'8866'_14
v4
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_con_28 T_TmCon_198
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_constr_34 Integer
v3 [T__'8866'_14]
v4
               -> let v5 :: t
v5
                        = (Integer -> [AgdaAny] -> Maybe AgdaAny) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                            Integer -> [AgdaAny] -> Maybe AgdaAny
MAlonzo.Code.Untyped.CEK.du_lookup'63'_954 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v3) ([T__'8866'_14] -> AgdaAny
forall a b. a -> b
coe [T__'8866'_14]
v2) in
                  AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    (case AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe AgdaAny
forall {t}. t
v5 of
                       MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 AgdaAny
v6
                         -> let v7 :: t
v7
                                  = (T__'8866'_14 -> T_Dec_20) -> AgdaAny -> t
forall a b. a -> b
coe
                                      T__'8866'_14 -> T_Dec_20
du_isPure'63'_82
                                      ((T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                         T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.Reduction.du_iterApp_242 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v6)
                                         ([T__'8866'_14] -> AgdaAny
forall a b. a -> b
coe [T__'8866'_14]
v4)) in
                            AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v7 of
                                 MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v8 T_Reflects_16
v9
                                   -> if Bool -> Bool
forall a b. a -> b
coe Bool
v8
                                        then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v9 of
                                               MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v10
                                                 -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                      Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                      (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v8)
                                                      ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                         AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                         ((T__'8866'_14 -> T_Pure_6 -> T_Pure_6)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8866'_14 -> T_Pure_6 -> T_Pure_6
C_case_28 AgdaAny
v6 AgdaAny
v10))
                                               T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                        else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                               AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v9)
                                               ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                  Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                  (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v8)
                                                  (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe
                                                     T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                                 T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
                       Maybe AgdaAny
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
                         -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                              (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                              (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
                       Maybe AgdaAny
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v3 [T__'8866'_14]
v4
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v3
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
               -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
                    Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                    (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
                    (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
             T__'8866'_14
_ -> T_Dec_20
forall {t}. t
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                (T_Pure_6 -> AgdaAny
forall a b. a -> b
coe T_Pure_6
C_builtin_32))
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
      T__'8866'_14
_ -> T_Dec_20
forall {t}. t
MAlonzo.RTE.mazUnreachableError
-- Untyped.Purity.allPure?
d_allPure'63'_88 ::
  () ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d_allPure'63'_88 :: () -> [T__'8866'_14] -> T_Dec_20
d_allPure'63'_88 ~()
v0 [T__'8866'_14]
v1 = [T__'8866'_14] -> T_Dec_20
du_allPure'63'_88 [T__'8866'_14]
v1
du_allPure'63'_88 ::
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
du_allPure'63'_88 :: [T__'8866'_14] -> T_Dec_20
du_allPure'63'_88 [T__'8866'_14]
v0
  = case [T__'8866'_14] -> [AgdaAny]
forall a b. a -> b
coe [T__'8866'_14]
v0 of
      []
        -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
             (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                (T_All_44 -> AgdaAny
forall a b. a -> b
coe T_All_44
MAlonzo.Code.Data.List.Relation.Unary.All.C_'91''93'_50))
      (:) AgdaAny
v1 [AgdaAny]
v2
        -> let v3 :: t
v3
                 = (T_Dec_20 -> T_Dec_20 -> T_Dec_20) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                     T_Dec_20 -> T_Dec_20 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                     ((T__'8866'_14 -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isPure'63'_82 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)) (([T__'8866'_14] -> T_Dec_20) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [T__'8866'_14] -> T_Dec_20
du_allPure'63'_88 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)) in
           AgdaAny -> T_Dec_20
forall a b. a -> b
coe
             (case AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny
forall {t}. t
v3 of
                MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v4 T_Reflects_16
v5
                  -> if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                       then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v5 of
                              MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 AgdaAny
v6
                                -> case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
v6 of
                                     MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v7 AgdaAny
v8
                                       -> (Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                            Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                            (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                            ((AgdaAny -> T_Reflects_16) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                               AgdaAny -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                               ((AgdaAny -> T_All_44 -> T_All_44) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                                  AgdaAny -> T_All_44 -> T_All_44
MAlonzo.Code.Data.List.Relation.Unary.All.C__'8759'__60
                                                  AgdaAny
v7 AgdaAny
v8))
                                     T_Σ_14
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                              T_Reflects_16
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                       else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
v5)
                              ((Bool -> T_Reflects_16 -> T_Dec_20)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                 (Bool -> AgdaAny
forall a b. a -> b
coe Bool
v4)
                                 (T_Reflects_16 -> AgdaAny
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                T_Dec_20
_ -> AgdaAny
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
      [AgdaAny]
_ -> T_Dec_20
forall {t}. t
MAlonzo.RTE.mazUnreachableError
-- Untyped.Purity..extendedlambda0
d_'46'extendedlambda0_112 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 ->
  MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda0_112 :: ()
-> T__'8866'_14
-> [T__'8866'_14]
-> (T_Σ_14 -> T_Irrelevant_20)
-> T_All_44
-> T_Irrelevant_20
d_'46'extendedlambda0_112 = ()
-> T__'8866'_14
-> [T__'8866'_14]
-> (T_Σ_14 -> T_Irrelevant_20)
-> T_All_44
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda1
d_'46'extendedlambda1_158 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda1_158 :: ()
-> T__'8866'_14
-> T__'8866'_14
-> (T_Σ_14 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda1_158 = ()
-> T__'8866'_14
-> T__'8866'_14
-> (T_Σ_14 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda2
d_'46'extendedlambda2_182 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isLambda_54 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda2_182 :: ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda2_182 = ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda3
d_'46'extendedlambda3_200 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isLambda_54 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda3_200 :: ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda3_200 = ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda4
d_'46'extendedlambda4_214 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isLambda_54 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda4_214 :: ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda4_214 = ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda5
d_'46'extendedlambda5_232 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isLambda_54 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda5_232 :: ()
-> T__'8866'_14
-> Integer
-> Integer
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda5_232 = ()
-> T__'8866'_14
-> Integer
-> Integer
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda6
d_'46'extendedlambda6_274 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isLambda_54 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda6_274 :: ()
-> T__'8866'_14
-> T__'8866'_14
-> (T_Σ_14 -> T_Irrelevant_20)
-> Integer
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda6_274 = ()
-> T__'8866'_14
-> T__'8866'_14
-> (T_Σ_14 -> T_Irrelevant_20)
-> Integer
-> T__'8801'__12
-> (T_isLambda_54 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda7
d_'46'extendedlambda7_302 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isDelay_354 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda7_302 :: ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda7_302 = ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda8
d_'46'extendedlambda8_320 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isDelay_354 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda8_320 :: ()
-> T__'8866'_14
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda8_320 = ()
-> T__'8866'_14
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda9
d_'46'extendedlambda9_334 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isDelay_354 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda9_334 :: ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda9_334 = ()
-> T__'8866'_14
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda10
d_'46'extendedlambda10_362 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isDelay_354 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda10_362 :: ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda10_362 = ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda11
d_'46'extendedlambda11_402 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  Integer ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isDelay_354 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda11_402 :: ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda11_402 = ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> Integer
-> T__'8801'__12
-> (T_isDelay_354 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda12
d_'46'extendedlambda12_442 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda12_442 :: ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda12_442 = ()
-> T__'8866'_14
-> (T_Pure_6 -> T_Irrelevant_20)
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda13
d_'46'extendedlambda13_470 ::
  () ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  (MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  Integer -> T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda13_470 :: ()
-> [T__'8866'_14]
-> (T_All_44 -> T_Irrelevant_20)
-> Integer
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda13_470 = ()
-> [T__'8866'_14]
-> (T_All_44 -> T_Irrelevant_20)
-> Integer
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda14
d_'46'extendedlambda14_518 ::
  () ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda14_518 :: ()
-> Integer
-> [T__'8866'_14]
-> T__'8801'__12
-> [T__'8866'_14]
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda14_518 = ()
-> Integer
-> [T__'8866'_14]
-> T__'8801'__12
-> [T__'8866'_14]
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased
-- Untyped.Purity..extendedlambda15
d_'46'extendedlambda15_556 ::
  () ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  (T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  T_Pure_6 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda15_556 :: ()
-> T__'8866'_14
-> [T__'8866'_14]
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> [T__'8866'_14]
-> T__'8801'__12
-> T_Pure_6
-> T_Irrelevant_20
d_'46'extendedlambda15_556 = ()
-> T__'8866'_14
-> [T__'8866'_14]
-> (T_Pure_6 -> T_Irrelevant_20)
-> Integer
-> [T__'8866'_14]
-> T__'8801'__12
-> T_Pure_6
-> T_Irrelevant_20
forall {t}. t
erased