{-# 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.VerifiedCompilation.UApplyToCase 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.Sigma
import qualified MAlonzo.Code.Data.Irrelevant
import qualified MAlonzo.Code.Data.Nat.Properties
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.Reduction
import qualified MAlonzo.Code.VerifiedCompilation.Certificate
import qualified MAlonzo.Code.VerifiedCompilation.Trace
import qualified MAlonzo.Code.VerifiedCompilation.UntypedTranslation
import qualified MAlonzo.Code.VerifiedCompilation.UntypedViews

-- VerifiedCompilation.UApplyToCase.ApplyToCase
d_ApplyToCase_4 :: p -> p -> p -> ()
d_ApplyToCase_4 p
a0 p
a1 p
a2 = ()
newtype T_ApplyToCase_4
  = C_a2c_16 MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12
-- VerifiedCompilation.UApplyToCase.a2c?ᶜᶜ
d_a2c'63''7580''7580'_24 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Certificate.T_ProofOrCE_38
d_a2c'63''7580''7580'_24 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_a2c'63''7580''7580'_24 Integer
v0
  = (Integer
 -> T_SimplifierTag_4
 -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_ProofOrCE_38)
-> Any
-> Any
-> Any
-> T__'8866'_14
-> T__'8866'_14
-> T_ProofOrCE_38
forall a b. a -> b
coe
      Integer
-> T_SimplifierTag_4
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
-> T__'8866'_14
-> T__'8866'_14
-> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.du_translation'63'_164
      (Integer -> Any
forall a b. a -> b
coe Integer
v0)
      (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20)
      ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_a2c'63'_32)
-- VerifiedCompilation.UApplyToCase.a2c?
d_a2c'63'_32 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Certificate.T_ProofOrCE_38
d_a2c'63'_32 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_a2c'63'_32 Integer
v0 T__'8866'_14
v1 T__'8866'_14
v2
  = let v3 :: t
v3
          = ((Integer -> T_Dec_20)
 -> ([T__'8866'_14] -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20)
-> Any -> Any -> t
forall a b. a -> b
coe
              (Integer -> T_Dec_20)
-> ([T__'8866'_14] -> T_Dec_20) -> T__'8866'_14 -> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_constr'63'_1572
              ((Integer -> Integer -> T_Dec_20) -> Any -> Any
forall a b. a -> b
coe
                 Integer -> Integer -> T_Dec_20
MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688
                 (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)))
              (((Any -> T_Dec_20) -> ([Any] -> T_Dec_20) -> [Any] -> T_Dec_20)
-> (Any -> Any) -> (Any -> Any) -> Any
forall a b. a -> b
coe
                 (Any -> T_Dec_20) -> ([Any] -> T_Dec_20) -> [Any] -> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du__'8759''63'__1910
                 (\ Any
v3 ->
                    T_Dec_20 -> Any
forall a b. a -> b
coe T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_'8943'_1880)
                 (\ Any
v3 ->
                    T_Dec_20 -> Any
forall a b. a -> b
coe
                      T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_'8943'_1880)) in
    Any -> T_ProofOrCE_38
forall a b. a -> b
coe
      (let v4 :: b
v4
             = ([Any] -> T_Dec_20) -> b
forall a b. a -> b
coe
                 [Any] -> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_singleton'63'_1970 in
       Any -> Any
forall a b. a -> b
coe
         (case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
            MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v5 T__'8866'_14
v6
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_constr_34 Integer
v5 [T__'8866'_14]
v6
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v5 [T__'8866'_14]
v6
              -> let v7 :: Any
v7
                       = (T_Dec_20 -> T_Dec_20 -> T_Dec_20) -> Any -> Any -> Any
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
                           (Any -> T__'8866'_14 -> Any
forall a b. a -> b
coe Any
forall {t}. t
v3 T__'8866'_14
v5) (Any -> [T__'8866'_14] -> Any
forall a b. a -> b
coe Any
forall {t}. t
v4 [T__'8866'_14]
v6) in
                 Any -> Any
forall a b. a -> b
coe
                   (case Any -> T_Dec_20
forall a b. a -> b
coe Any
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 Any
v10
                                      -> case Any -> T_Σ_14
forall a b. a -> b
coe Any
v10 of
                                           MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 Any
v11 Any
v12
                                             -> case Any -> T_constr'7510'_944
forall a b. a -> b
coe Any
v11 of
                                                  MAlonzo.Code.VerifiedCompilation.UntypedViews.C_constr'33'_954 Any
v15 Any
v16
                                                    -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                                         MAlonzo.Code.Untyped.C_constr_34 Integer
v17 [T__'8866'_14]
v18
                                                           -> case Any -> T__'8759''7510'__1890
forall a b. a -> b
coe Any
v16 of
                                                                MAlonzo.Code.VerifiedCompilation.UntypedViews.C__'8759''33'__1902 Any
v21 Any
v22
                                                                  -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                       Any -> Any -> Any
forall a b. a -> b -> b
seq (Any -> Any
forall a b. a -> b
coe Any
v21)
                                                                       ((Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                          Any -> Any -> Any
forall a b. a -> b -> b
seq (Any -> Any
forall a b. a -> b
coe Any
v22)
                                                                          (case Any -> T__'8759''7510'__1890
forall a b. a -> b
coe Any
v12 of
                                                                             MAlonzo.Code.VerifiedCompilation.UntypedViews.C__'8759''33'__1902 Any
v25 Any
v26
                                                                               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v6 of
                                                                                    (:) Any
v27 [Any]
v28
                                                                                      -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                           Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                           (Any -> Any
forall a b. a -> b
coe Any
v25)
                                                                                           (let v29 :: Any
v29
                                                                                                  = (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
-> Integer -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe
                                                                                                      Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_a2c'63''7580''7580'_24
                                                                                                      Integer
v0
                                                                                                      T__'8866'_14
v1
                                                                                                      ((T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                         T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.Reduction.du_iterApp_242
                                                                                                         (Any -> Any
forall a b. a -> b
coe
                                                                                                            Any
v27)
                                                                                                         ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                            [T__'8866'_14]
v18)) in
                                                                                            Any -> Any
forall a b. a -> b
coe
                                                                                              (case Any -> T_ProofOrCE_38
forall a b. a -> b
coe
                                                                                                      Any
v29 of
                                                                                                 MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44 Any
v30
                                                                                                   -> (Any -> T_ProofOrCE_38) -> Any -> Any
forall a b. a -> b
coe
                                                                                                        Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44
                                                                                                        ((T_Translation_12 -> T_ApplyToCase_4) -> Any -> Any
forall a b. a -> b
coe
                                                                                                           T_Translation_12 -> T_ApplyToCase_4
C_a2c_16
                                                                                                           Any
v30)
                                                                                                 MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52 T_SimplifierTag_4
v33 Any
v34 Any
v35
                                                                                                   -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> T_SimplifierTag_4 -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                        T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                                                                                                        T_SimplifierTag_4
v33
                                                                                                        Any
v34
                                                                                                        Any
v35
                                                                                                 T_ProofOrCE_38
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                                                                    [Any]
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                             T__'8759''7510'__1890
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                                                T__'8759''7510'__1890
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                         T__'8866'_14
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                  T_constr'7510'_944
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                           T_Σ_14
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                    T_Reflects_16
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                             else (let v10 :: Any
v10
                                         = Any -> Any -> Any
forall a b. a -> b -> b
seq
                                             (T_Reflects_16 -> Any
forall a b. a -> b
coe T_Reflects_16
v9)
                                             ((Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                Bool -> T_Reflects_16 -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                (Bool -> Any
forall a b. a -> b
coe Bool
v8)
                                                (T_Reflects_16 -> Any
forall a b. a -> b
coe
                                                   T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)) in
                                   Any -> Any
forall a b. a -> b
coe
                                     (case Any -> T_Dec_20
forall a b. a -> b
coe Any
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 Any
v13
                                                        -> case Any -> T_case'7510'_926
forall a b. a -> b
coe Any
v13 of
                                                             MAlonzo.Code.VerifiedCompilation.UntypedViews.C_case'33'_936 Any
v16 Any
v17
                                                               -> case Any -> T_constr'7510'_944
forall a b. a -> b
coe Any
v16 of
                                                                    MAlonzo.Code.VerifiedCompilation.UntypedViews.C_constr'33'_954 Any
v20 Any
v21
                                                                      -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                                                           MAlonzo.Code.Untyped.C_constr_34 Integer
v22 [T__'8866'_14]
v23
                                                                             -> case Any -> T__'8759''7510'__1890
forall a b. a -> b
coe Any
v21 of
                                                                                  MAlonzo.Code.VerifiedCompilation.UntypedViews.C__'8759''33'__1902 Any
v26 Any
v27
                                                                                    -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                         Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                         (Any -> Any
forall a b. a -> b
coe Any
v26)
                                                                                         ((Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                            Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                            (Any -> Any
forall a b. a -> b
coe
                                                                                               Any
v27)
                                                                                            (case Any -> T__'8759''7510'__1890
forall a b. a -> b
coe
                                                                                                    Any
v17 of
                                                                                               MAlonzo.Code.VerifiedCompilation.UntypedViews.C__'8759''33'__1902 Any
v30 Any
v31
                                                                                                 -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe
                                                                                                           [T__'8866'_14]
v6 of
                                                                                                      (:) Any
v32 [Any]
v33
                                                                                                        -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                             Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                                             (Any -> Any
forall a b. a -> b
coe
                                                                                                                Any
v30)
                                                                                                             (let v34 :: Any
v34
                                                                                                                    = (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
-> Integer -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe
                                                                                                                        Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_a2c'63''7580''7580'_24
                                                                                                                        Integer
v0
                                                                                                                        T__'8866'_14
v1
                                                                                                                        ((T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                           T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.Reduction.du_iterApp_242
                                                                                                                           (Any -> Any
forall a b. a -> b
coe
                                                                                                                              Any
v32)
                                                                                                                           ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                                              [T__'8866'_14]
v23)) in
                                                                                                              Any -> Any
forall a b. a -> b
coe
                                                                                                                (case Any -> T_ProofOrCE_38
forall a b. a -> b
coe
                                                                                                                        Any
v34 of
                                                                                                                   MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44 Any
v35
                                                                                                                     -> (Any -> T_ProofOrCE_38) -> Any -> Any
forall a b. a -> b
coe
                                                                                                                          Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44
                                                                                                                          ((T_Translation_12 -> T_ApplyToCase_4) -> Any -> Any
forall a b. a -> b
coe
                                                                                                                             T_Translation_12 -> T_ApplyToCase_4
C_a2c_16
                                                                                                                             Any
v35)
                                                                                                                   MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52 T_SimplifierTag_4
v38 Any
v39 Any
v40
                                                                                                                     -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> T_SimplifierTag_4 -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                          T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                                                                                                                          T_SimplifierTag_4
v38
                                                                                                                          Any
v39
                                                                                                                          Any
v40
                                                                                                                   T_ProofOrCE_38
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                                                                                      [Any]
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                                               T__'8759''7510'__1890
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                                                                                  T__'8759''7510'__1890
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                           T__'8866'_14
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                                    T_constr'7510'_944
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                             T_case'7510'_926
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                                      T_Reflects_16
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError
                                               else (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                      Any -> Any -> Any
forall a b. a -> b -> b
seq (T_Reflects_16 -> Any
forall a b. a -> b
coe T_Reflects_16
v12)
                                                      ((T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                                                         T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                                                         (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe
                                                            T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20)
                                                         T__'8866'_14
v1 T__'8866'_14
v2)
                                        T_Dec_20
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
                      T_Dec_20
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
            MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v5
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
              -> (T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38)
-> Any -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                   T_SimplifierTag_4 -> Any -> Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52
                   (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20) T__'8866'_14
v1
                   T__'8866'_14
v2
            T__'8866'_14
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError))
-- VerifiedCompilation.UApplyToCase..extendedlambda0
d_'46'extendedlambda0_48 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_case'7510'_926 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_ApplyToCase_4 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda0_48 :: Integer
-> T__'8866'_14
-> (T_case'7510'_926 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_ApplyToCase_4
-> T_Irrelevant_20
d_'46'extendedlambda0_48 = Integer
-> T__'8866'_14
-> (T_case'7510'_926 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_ApplyToCase_4
-> T_Irrelevant_20
forall {t}. t
erased
-- VerifiedCompilation.UApplyToCase..extendedlambda1
d_'46'extendedlambda1_94 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  () ->
  () ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_SimplifierTag_4 ->
  AgdaAny ->
  AgdaAny ->
  T_ApplyToCase_4 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda1_94 :: Integer
-> T__'8866'_14
-> [T__'8866'_14]
-> T__'8866'_14
-> T__'8866'_14
-> (T_Translation_12 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> T_ApplyToCase_4
-> T_Irrelevant_20
d_'46'extendedlambda1_94 = Integer
-> T__'8866'_14
-> [T__'8866'_14]
-> T__'8866'_14
-> T__'8866'_14
-> (T_Translation_12 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> T_ApplyToCase_4
-> T_Irrelevant_20
forall {t}. t
erased
-- VerifiedCompilation.UApplyToCase.UApplyToCase
d_UApplyToCase_98 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 -> ()
d_UApplyToCase_98 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
d_UApplyToCase_98 = Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
forall {t}. t
erased