{-# 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.UForceCaseDelay 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.List
import qualified MAlonzo.Code.Data.Irrelevant
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
import qualified MAlonzo.Code.Data.List.Relation.Unary.All
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
import qualified MAlonzo.Code.Relation.Nullary.Reflects
import qualified MAlonzo.Code.Untyped
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.UForceCaseDelay.IsBranch
d_IsBranch_18 :: p -> p -> ()
d_IsBranch_18 p
a0 p
a1 = ()
data T_IsBranch_18 = C_B'45'delay_20 | C_B'45'ƛ_22 T_IsBranch_18
-- VerifiedCompilation.UForceCaseDelay.isBranch?
d_isBranch'63'_26 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d_isBranch'63'_26 :: Integer -> T__'8866'_14 -> T_Dec_20
d_isBranch'63'_26 ~Integer
v0 T__'8866'_14
v1 = T__'8866'_14 -> T_Dec_20
du_isBranch'63'_26 T__'8866'_14
v1
du_isBranch'63'_26 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
du_isBranch'63'_26 :: T__'8866'_14 -> T_Dec_20
du_isBranch'63'_26 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 T_Fin_10
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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
v1
        -> let v2 :: Any
v2 = (T__'8866'_14 -> T_Dec_20) -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T_Dec_20
du_isBranch'63'_26 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) in
           Any -> T_Dec_20
forall a b. a -> b
coe
             (case Any -> T_Dec_20
forall a b. a -> b
coe Any
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 Any
v5
                                -> (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
v3)
                                     ((Any -> T_Reflects_16) -> Any -> Any
forall a b. a -> b
coe
                                        Any -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                        ((T_IsBranch_18 -> T_IsBranch_18) -> Any -> Any
forall a b. a -> b
coe T_IsBranch_18 -> T_IsBranch_18
C_B'45'ƛ_22 Any
v5))
                              T_Reflects_16
_ -> Any
forall a. a
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
v4)
                              ((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
v3)
                                 (T_Reflects_16 -> Any
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                T_Dec_20
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v1 T__'8866'_14
v2
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
             ((Any -> T_Reflects_16) -> Any -> Any
forall a b. a -> b
coe
                Any -> T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                (T_IsBranch_18 -> Any
forall a b. a -> b
coe T_IsBranch_18
C_B'45'delay_20))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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
v1 [T__'8866'_14]
v2
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
forall a b. a -> b
coe T_Reflects_16
MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v1 [T__'8866'_14]
v2
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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
v1
        -> (Bool -> T_Reflects_16 -> T_Dec_20) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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) -> Any -> Any -> 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 -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
             (T_Reflects_16 -> Any
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 a. a
MAlonzo.RTE.mazUnreachableError
-- VerifiedCompilation.UForceCaseDelay.removeDelay
d_removeDelay_68 ::
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14]
d_removeDelay_68 :: Integer -> [T__'8866'_14] -> [T__'8866'_14]
d_removeDelay_68 ~Integer
v0 [T__'8866'_14]
v1 = [T__'8866'_14] -> [T__'8866'_14]
du_removeDelay_68 [T__'8866'_14]
v1
du_removeDelay_68 ::
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14]
du_removeDelay_68 :: [T__'8866'_14] -> [T__'8866'_14]
du_removeDelay_68 [T__'8866'_14]
v0
  = ((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> [T__'8866'_14]
forall a b. a -> b
coe (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22 ((T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
du_go_76) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v0)
-- VerifiedCompilation.UForceCaseDelay._.go
d_go_76 ::
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
d_go_76 :: Integer
-> [T__'8866'_14] -> Integer -> T__'8866'_14 -> T__'8866'_14
d_go_76 ~Integer
v0 ~[T__'8866'_14]
v1 ~Integer
v2 T__'8866'_14
v3 = T__'8866'_14 -> T__'8866'_14
du_go_76 T__'8866'_14
v3
du_go_76 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
du_go_76 :: T__'8866'_14 -> T__'8866'_14
du_go_76 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_ƛ_20 T__'8866'_14
v1
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20 ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
du_go_76 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v1 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1
      T__'8866'_14
_ -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v0
-- VerifiedCompilation.UForceCaseDelay.FCD
d_FCD_84 :: p -> p -> p -> ()
d_FCD_84 p
a0 p
a1 p
a2 = ()
data T_FCD_84
  = C_isFCD_86 MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44
               MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12
               MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48
-- VerifiedCompilation.UForceCaseDelay.ForceCaseDelay
d_ForceCaseDelay_92 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 -> ()
d_ForceCaseDelay_92 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
d_ForceCaseDelay_92 = Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.isForceCaseDelay?
d_isForceCaseDelay'63'_94 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Certificate.T_ProofOrCE_38
d_isForceCaseDelay'63'_94 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_isForceCaseDelay'63'_94 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_forceCaseDelayT_10)
      ((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_isFCD'63'_96)
-- VerifiedCompilation.UForceCaseDelay.isFCD?
d_isFCD'63'_96 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Certificate.T_ProofOrCE_38
d_isFCD'63'_96 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_isFCD'63'_96 Integer
v0 T__'8866'_14
v1 T__'8866'_14
v2
  = let v3 :: Any
v3
          = (Integer
 -> (Integer -> T__'8866'_14 -> T_Dec_20)
 -> T__'8866'_14
 -> T_Dec_20)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
              Integer
-> (Integer -> T__'8866'_14 -> T_Dec_20)
-> T__'8866'_14
-> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isForce'63'_286
              (Integer -> Any
forall a b. a -> b
coe Integer
v0)
              ((Any -> Any) -> Any
forall a b. a -> b
coe
                 (\ Any
v3 ->
                    (Integer
 -> (Integer -> T__'8866'_14 -> T_Dec_20)
 -> (Integer -> [T__'8866'_14] -> T_Dec_20)
 -> T__'8866'_14
 -> T_Dec_20)
-> Any -> (Any -> Any -> Any) -> (Any -> Any -> Any) -> Any
forall a b. a -> b
coe
                      Integer
-> (Integer -> T__'8866'_14 -> T_Dec_20)
-> (Integer -> [T__'8866'_14] -> T_Dec_20)
-> T__'8866'_14
-> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isCase'63'_600
                      (Any -> Any
forall a b. a -> b
coe Any
v3)
                      (\ Any
v4 Any
v5 ->
                         T_Dec_20 -> Any
forall a b. a -> b
coe
                           T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isTerm'63'_784)
                      (\ Any
v4 Any
v5 ->
                         T_Dec_20 -> Any
forall a b. a -> b
coe
                           T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_allTerms'63'_800)))
              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) in
    Any -> T_ProofOrCE_38
forall a b. a -> b
coe
      (case Any -> T_Dec_20
forall a b. a -> b
coe Any
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 Any
v6
                         -> case Any -> T_isForce_270
forall a b. a -> b
coe Any
v6 of
                              MAlonzo.Code.VerifiedCompilation.UntypedViews.C_isforce_278 Any
v8
                                -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                     MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v9
                                       -> case Any -> T_isCase_576
forall a b. a -> b
coe Any
v8 of
                                            MAlonzo.Code.VerifiedCompilation.UntypedViews.C_iscase_588 Any
v12 Any
v13
                                              -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v9 of
                                                   MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v14 [T__'8866'_14]
v15
                                                     -> (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
v12)
                                                          ((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
v13)
                                                             (let v16 :: Any
v16
                                                                    = (Integer
 -> (Integer -> T__'8866'_14 -> T_Dec_20)
 -> (Integer -> [T__'8866'_14] -> T_Dec_20)
 -> T__'8866'_14
 -> T_Dec_20)
-> Any -> (Any -> Any -> Any) -> (Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe
                                                                        Integer
-> (Integer -> T__'8866'_14 -> T_Dec_20)
-> (Integer -> [T__'8866'_14] -> T_Dec_20)
-> T__'8866'_14
-> T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isCase'63'_600
                                                                        (Integer -> Any
forall a b. a -> b
coe Integer
v0)
                                                                        (\ Any
v16 Any
v17 ->
                                                                           T_Dec_20 -> Any
forall a b. a -> b
coe
                                                                             T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_isTerm'63'_784)
                                                                        (\ Any
v16 Any
v17 ->
                                                                           T_Dec_20 -> Any
forall a b. a -> b
coe
                                                                             T_Dec_20
MAlonzo.Code.VerifiedCompilation.UntypedViews.du_allTerms'63'_800)
                                                                        (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2) in
                                                              Any -> Any
forall a b. a -> b
coe
                                                                (case Any -> T_Dec_20
forall a b. a -> b
coe Any
v16 of
                                                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v17 T_Reflects_16
v18
                                                                     -> if Bool -> Bool
forall a b. a -> b
coe Bool
v17
                                                                          then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe T_Reflects_16
v18 of
                                                                                 MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 Any
v19
                                                                                   -> case Any -> T_isCase_576
forall a b. a -> b
coe
                                                                                             Any
v19 of
                                                                                        MAlonzo.Code.VerifiedCompilation.UntypedViews.C_iscase_588 Any
v22 Any
v23
                                                                                          -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe
                                                                                                    T__'8866'_14
v2 of
                                                                                               MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v24 [T__'8866'_14]
v25
                                                                                                 -> (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)
                                                                                                      ((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
v23)
                                                                                                         (let v26 :: Any
v26
                                                                                                                = ((Any -> T_Dec_20) -> [Any] -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                    (Any -> T_Dec_20) -> [Any] -> T_Dec_20
MAlonzo.Code.Data.List.Relation.Unary.All.du_all'63'_506
                                                                                                                    ((T__'8866'_14 -> T_Dec_20) -> Any
forall a b. a -> b
coe
                                                                                                                       T__'8866'_14 -> T_Dec_20
du_isBranch'63'_26)
                                                                                                                    ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                                       [T__'8866'_14]
v15) in
                                                                                                          Any -> Any
forall a b. a -> b
coe
                                                                                                            (case Any -> T_Dec_20
forall a b. a -> b
coe
                                                                                                                    Any
v26 of
                                                                                                               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 Bool
v27 T_Reflects_16
v28
                                                                                                                 -> if Bool -> Bool
forall a b. a -> b
coe
                                                                                                                         Bool
v27
                                                                                                                      then case T_Reflects_16 -> T_Reflects_16
forall a b. a -> b
coe
                                                                                                                                  T_Reflects_16
v28 of
                                                                                                                             MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 Any
v29
                                                                                                                               -> let v30 :: Any
v30
                                                                                                                                        = (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                                                                                                                                            Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_isForceCaseDelay'63'_94
                                                                                                                                            Integer
v0
                                                                                                                                            T__'8866'_14
v14
                                                                                                                                            T__'8866'_14
v24 in
                                                                                                                                  Any -> Any
forall a b. a -> b
coe
                                                                                                                                    (case Any -> T_ProofOrCE_38
forall a b. a -> b
coe
                                                                                                                                            Any
v30 of
                                                                                                                                       MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44 Any
v31
                                                                                                                                         -> let v32 :: Any
v32
                                                                                                                                                  = (T_SimplifierTag_4
 -> (Any -> Any -> T_ProofOrCE_38)
 -> [Any]
 -> [Any]
 -> T_ProofOrCE_38)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                                                      T_SimplifierTag_4
-> (Any -> Any -> T_ProofOrCE_38)
-> [Any]
-> [Any]
-> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.du_pcePointwise_304
                                                                                                                                                      (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe
                                                                                                                                                         T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_forceCaseDelayT_10)
                                                                                                                                                      ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38)
-> Any -> Any
forall a b. a -> b
coe
                                                                                                                                                         Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38
d_isForceCaseDelay'63'_94
                                                                                                                                                         (Integer -> Any
forall a b. a -> b
coe
                                                                                                                                                            Integer
v0))
                                                                                                                                                      (((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                                                         (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22
                                                                                                                                                         ((T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe
                                                                                                                                                            T__'8866'_14 -> T__'8866'_14
du_go_76)
                                                                                                                                                         ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                                                                            [T__'8866'_14]
v15))
                                                                                                                                                      ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                                                                         [T__'8866'_14]
v25) in
                                                                                                                                            Any -> Any
forall a b. a -> b
coe
                                                                                                                                              (case Any -> T_ProofOrCE_38
forall a b. a -> b
coe
                                                                                                                                                      Any
v32 of
                                                                                                                                                 MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44 Any
v33
                                                                                                                                                   -> (Any -> T_ProofOrCE_38) -> Any -> Any
forall a b. a -> b
coe
                                                                                                                                                        Any -> T_ProofOrCE_38
MAlonzo.Code.VerifiedCompilation.Certificate.C_proof_44
                                                                                                                                                        ((T_All_44 -> T_Translation_12 -> T_Pointwise_48 -> T_FCD_84)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                                                                           T_All_44 -> T_Translation_12 -> T_Pointwise_48 -> T_FCD_84
C_isFCD_86
                                                                                                                                                           Any
v29
                                                                                                                                                           Any
v31
                                                                                                                                                           Any
v33)
                                                                                                                                                 MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52 T_SimplifierTag_4
v36 Any
v37 Any
v38
                                                                                                                                                   -> (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_forceCaseDelayT_10)
                                                                                                                                                        T__'8866'_14
v1
                                                                                                                                                        T__'8866'_14
v2
                                                                                                                                                 T_ProofOrCE_38
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
                                                                                                                                       MAlonzo.Code.VerifiedCompilation.Certificate.C_ce_52 T_SimplifierTag_4
v34 Any
v35 Any
v36
                                                                                                                                         -> (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_forceCaseDelayT_10)
                                                                                                                                              T__'8866'_14
v1
                                                                                                                                              T__'8866'_14
v2
                                                                                                                                       T_ProofOrCE_38
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
                                                                                                                             T_Reflects_16
_ -> Any
forall a. a
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
v28)
                                                                                                                             ((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_forceCaseDelayT_10)
                                                                                                                                T__'8866'_14
v1
                                                                                                                                T__'8866'_14
v2)
                                                                                                               T_Dec_20
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)))
                                                                                               T__'8866'_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                        T_isCase_576
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                 T_Reflects_16
_ -> Any
forall a. a
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
v18)
                                                                                 ((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_forceCaseDelayT_10)
                                                                                    T__'8866'_14
v1 T__'8866'_14
v2)
                                                                   T_Dec_20
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)))
                                                   T__'8866'_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                                            T_isCase_576
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                                     T__'8866'_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                              T_isForce_270
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
                       T_Reflects_16
_ -> Any
forall a. a
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
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_forceCaseDelayT_10)
                          T__'8866'_14
v1 T__'8866'_14
v2)
         T_Dec_20
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- VerifiedCompilation.UForceCaseDelay..extendedlambda1
d_'46'extendedlambda1_112 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isForce_270 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_FCD_84 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda1_112 :: Integer
-> T__'8866'_14
-> (T_isForce_270 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_FCD_84
-> T_Irrelevant_20
d_'46'extendedlambda1_112 = Integer
-> T__'8866'_14
-> (T_isForce_270 -> T_Irrelevant_20)
-> T__'8866'_14
-> T_FCD_84
-> T_Irrelevant_20
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay..extendedlambda2
d_'46'extendedlambda2_142 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (MAlonzo.Code.VerifiedCompilation.UntypedViews.T_isCase_576 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  T_FCD_84 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda2_142 :: Integer
-> T__'8866'_14
-> (T_isCase_576 -> T_Irrelevant_20)
-> T__'8866'_14
-> [T__'8866'_14]
-> T_FCD_84
-> T_Irrelevant_20
d_'46'extendedlambda2_142 = Integer
-> T__'8866'_14
-> (T_isCase_576 -> T_Irrelevant_20)
-> T__'8866'_14
-> [T__'8866'_14]
-> T_FCD_84
-> T_Irrelevant_20
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay..extendedlambda3
d_'46'extendedlambda3_180 ::
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  (MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  T_FCD_84 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda3_180 :: Integer
-> [T__'8866'_14]
-> (T_All_44 -> T_Irrelevant_20)
-> T__'8866'_14
-> [T__'8866'_14]
-> T__'8866'_14
-> T_FCD_84
-> T_Irrelevant_20
d_'46'extendedlambda3_180 = Integer
-> [T__'8866'_14]
-> (T_All_44 -> T_Irrelevant_20)
-> T__'8866'_14
-> [T__'8866'_14]
-> T__'8866'_14
-> T_FCD_84
-> T_Irrelevant_20
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay..extendedlambda4
d_'46'extendedlambda4_228 ::
  Integer ->
  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 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  T_FCD_84 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda4_228 :: Integer
-> T__'8866'_14
-> T__'8866'_14
-> (T_Translation_12 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> [T__'8866'_14]
-> T_All_44
-> [T__'8866'_14]
-> T_FCD_84
-> T_Irrelevant_20
d_'46'extendedlambda4_228 = Integer
-> T__'8866'_14
-> T__'8866'_14
-> (T_Translation_12 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> [T__'8866'_14]
-> T_All_44
-> [T__'8866'_14]
-> T_FCD_84
-> T_Irrelevant_20
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay..extendedlambda5
d_'46'extendedlambda5_280 ::
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  (MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  () ->
  () ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_SimplifierTag_4 ->
  AgdaAny ->
  AgdaAny ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
  MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44 ->
  T_FCD_84 -> MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20
d_'46'extendedlambda5_280 :: Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> (T_Pointwise_48 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> T__'8866'_14
-> T__'8866'_14
-> T_Translation_12
-> T_All_44
-> T_FCD_84
-> T_Irrelevant_20
d_'46'extendedlambda5_280 = Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> (T_Pointwise_48 -> T_Irrelevant_20)
-> ()
-> ()
-> T_SimplifierTag_4
-> Any
-> Any
-> T__'8866'_14
-> T__'8866'_14
-> T_Translation_12
-> T_All_44
-> T_FCD_84
-> T_Irrelevant_20
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest1
d_fstTest1_306 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest1_306 :: Integer -> T__'8866'_14
d_fstTest1_306 ~Integer
v0 = T__'8866'_14
du_fstTest1_306
du_fstTest1_306 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest1_306 :: T__'8866'_14
du_fstTest1_306
  = (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
      ((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.C_case_40
         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
         ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
            Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
            ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
-- VerifiedCompilation.UForceCaseDelay.sndTest1
d_sndTest1_308 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest1_308 :: Integer -> T__'8866'_14
d_sndTest1_308 ~Integer
v0 = T__'8866'_14
du_sndTest1_308
du_sndTest1_308 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest1_308 :: T__'8866'_14
du_sndTest1_308
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test1
d_test1_310 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test1_310 :: T__'8801'__12
d_test1_310 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest2
d_fstTest2_312 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest2_312 :: Integer -> T__'8866'_14
d_fstTest2_312 ~Integer
v0 = T__'8866'_14
du_fstTest2_312
du_fstTest2_312 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest2_312 :: T__'8866'_14
du_fstTest2_312
  = (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
      ((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.C_case_40
         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
         ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
            Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
            ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
-- VerifiedCompilation.UForceCaseDelay.sndTest2
d_sndTest2_314 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest2_314 :: Integer -> T__'8866'_14
d_sndTest2_314 ~Integer
v0 = T__'8866'_14
du_sndTest2_314
du_sndTest2_314 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest2_314 :: T__'8866'_14
du_sndTest2_314
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
            (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test2
d_test2_316 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test2_316 :: T__'8801'__12
d_test2_316 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest3
d_fstTest3_318 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest3_318 :: Integer -> T__'8866'_14
d_fstTest3_318 ~Integer
v0 = T__'8866'_14
du_fstTest3_318
du_fstTest3_318 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest3_318 :: T__'8866'_14
du_fstTest3_318
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
               ((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.C_case_40
                  (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                  ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                     Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                     ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                        T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
                        (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
                     ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.sndTest3
d_sndTest3_320 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest3_320 :: Integer -> T__'8866'_14
d_sndTest3_320 ~Integer
v0 = T__'8866'_14
du_sndTest3_320
du_sndTest3_320 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest3_320 :: T__'8866'_14
du_sndTest3_320
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((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.C_case_40
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
               ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                  Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                  (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                  ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test3
d_test3_322 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test3_322 :: T__'8801'__12
d_test3_322 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest4
d_fstTest4_324 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest4_324 :: Integer -> T__'8866'_14
d_fstTest4_324 ~Integer
v0 = T__'8866'_14
du_fstTest4_324
du_fstTest4_324 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest4_324 :: T__'8866'_14
du_fstTest4_324
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
               ((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.C_case_40
                  (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                  ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                     Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                     ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                        T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
                        (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
                     ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.sndTest4
d_sndTest4_326 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest4_326 :: Integer -> T__'8866'_14
d_sndTest4_326 ~Integer
v0 = T__'8866'_14
du_sndTest4_326
du_sndTest4_326 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest4_326 :: T__'8866'_14
du_sndTest4_326
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((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.C_case_40
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
               ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                  Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                  ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                     T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
                     (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46))
                  ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test4
d_test4_328 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test4_328 :: T__'8801'__12
d_test4_328 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest5
d_fstTest5_330 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest5_330 :: Integer -> T__'8866'_14
d_fstTest5_330 ~Integer
v0 = T__'8866'_14
du_fstTest5_330
du_fstTest5_330 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest5_330 :: T__'8866'_14
du_fstTest5_330
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
               ((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.C_case_40
                  (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                  ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                     Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                     ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_fstTest1_306))
                     ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.sndTest5
d_sndTest5_332 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest5_332 :: Integer -> T__'8866'_14
d_sndTest5_332 ~Integer
v0 = T__'8866'_14
du_sndTest5_332
du_sndTest5_332 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest5_332 :: T__'8866'_14
du_sndTest5_332
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((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.C_case_40
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
               ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                  Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_sndTest1_308)
                  ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test5
d_test5_334 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test5_334 :: T__'8801'__12
d_test5_334 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest6
d_fstTest6_336 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest6_336 :: Integer -> T__'8866'_14
d_fstTest6_336 ~Integer
v0 = T__'8866'_14
du_fstTest6_336
du_fstTest6_336 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest6_336 :: T__'8866'_14
du_fstTest6_336
  = (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
      ((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.C_case_40
         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
         ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
            Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
               ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                  T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
                  ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                     T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
                     ((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.C_case_40
                        (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                        ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                           Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                           ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_fstTest1_306))
                           ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))))
            ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
-- VerifiedCompilation.UForceCaseDelay.sndTest6
d_sndTest6_338 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest6_338 :: Integer -> T__'8866'_14
d_sndTest6_338 ~Integer
v0 = T__'8866'_14
du_sndTest6_338
du_sndTest6_338 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest6_338 :: T__'8866'_14
du_sndTest6_338
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((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.C_case_40
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
               ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                  Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_sndTest1_308)
                  ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test6
d_test6_340 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test6_340 :: T__'8801'__12
d_test6_340 = T__'8801'__12
forall a. a
erased
-- VerifiedCompilation.UForceCaseDelay.fstTest7
d_fstTest7_342 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_fstTest7_342 :: Integer -> T__'8866'_14
d_fstTest7_342 ~Integer
v0 = T__'8866'_14
du_fstTest7_342
du_fstTest7_342 :: MAlonzo.Code.Untyped.T__'8866'_14
du_fstTest7_342 :: T__'8866'_14
du_fstTest7_342
  = (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
      ((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.C_case_40
         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
         ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
            Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
            ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
               T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
               ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                  T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
                  ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
                     T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
                     ((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.C_case_40
                        (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
                        ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                           Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                           ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_fstTest2_312))
                           ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))))
            ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
-- VerifiedCompilation.UForceCaseDelay.sndTest7
d_sndTest7_344 :: Integer -> MAlonzo.Code.Untyped.T__'8866'_14
d_sndTest7_344 :: Integer -> T__'8866'_14
d_sndTest7_344 ~Integer
v0 = T__'8866'_14
du_sndTest7_344
du_sndTest7_344 :: MAlonzo.Code.Untyped.T__'8866'_14
du_sndTest7_344 :: T__'8866'_14
du_sndTest7_344
  = (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
      T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
      (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
      ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
         ((T__'8866'_14 -> T__'8866'_14) -> Any -> Any
forall a b. a -> b
coe
            T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
            ((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.C_case_40
               (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
MAlonzo.Code.Untyped.C_error_46)
               ((Any -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                  Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
du_sndTest2_314)
                  ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))))
         ([Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- VerifiedCompilation.UForceCaseDelay.test7
d_test7_346 :: MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_test7_346 :: T__'8801'__12
d_test7_346 = T__'8801'__12
forall a. a
erased