{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Untyped.CEKWithCost 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.Equality
import qualified MAlonzo.Code.Builtin
import qualified MAlonzo.Code.Builtin.Signature
import qualified MAlonzo.Code.Cost.Base
import qualified MAlonzo.Code.Data.Maybe.Base
import qualified MAlonzo.Code.Data.Vec.Base
import qualified MAlonzo.Code.RawU
import qualified MAlonzo.Code.Untyped
import qualified MAlonzo.Code.Untyped.CEK
import qualified MAlonzo.Code.Utils

-- Untyped.CEKWithCost.CekM
d_CekM_26 ::
  () -> MAlonzo.Code.Cost.Base.T_MachineParameters_46 -> () -> ()
d_CekM_26 :: () -> T_MachineParameters_46 -> () -> ()
d_CekM_26 = () -> T_MachineParameters_46 -> () -> ()
forall a. a
erased
-- Untyped.CEKWithCost.spend
d_spend_28 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Cost.Base.T_StepKind_6 ->
  MAlonzo.Code.Utils.T_Writer_304
d_spend_28 :: () -> T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
d_spend_28 ~()
v0 T_MachineParameters_46
v1 T_StepKind_6
v2 = T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 T_MachineParameters_46
v1 T_StepKind_6
v2
du_spend_28 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Cost.Base.T_StepKind_6 ->
  MAlonzo.Code.Utils.T_Writer_304
du_spend_28 :: T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 T_MachineParameters_46
v0 T_StepKind_6
v1
  = (Any -> T_Writer_304) -> Any -> T_Writer_304
forall a b. a -> b
coe
      Any -> T_Writer_304
MAlonzo.Code.Utils.du_tell_344
      ((T_MachineParameters_46 -> T_ExBudgetCategory_34 -> Any)
-> T_MachineParameters_46 -> Any -> Any
forall a b. a -> b
coe
         T_MachineParameters_46 -> T_ExBudgetCategory_34 -> Any
MAlonzo.Code.Cost.Base.d_cekMachineCost_58 T_MachineParameters_46
v0
         ((T_StepKind_6 -> T_ExBudgetCategory_34) -> Any -> Any
forall a b. a -> b
coe T_StepKind_6 -> T_ExBudgetCategory_34
MAlonzo.Code.Cost.Base.C_BStep_36 (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
v1)))
-- Untyped.CEKWithCost.spendStartupCost
d_spendStartupCost_32 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Utils.T_Writer_304
d_spendStartupCost_32 :: () -> T_MachineParameters_46 -> T_Writer_304
d_spendStartupCost_32 ~()
v0 T_MachineParameters_46
v1 = T_MachineParameters_46 -> T_Writer_304
du_spendStartupCost_32 T_MachineParameters_46
v1
du_spendStartupCost_32 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Utils.T_Writer_304
du_spendStartupCost_32 :: T_MachineParameters_46 -> T_Writer_304
du_spendStartupCost_32 T_MachineParameters_46
v0
  = (Any -> T_Writer_304) -> Any -> T_Writer_304
forall a b. a -> b
coe
      Any -> T_Writer_304
MAlonzo.Code.Utils.du_tell_344
      ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.du_startupCost_66 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
-- Untyped.CEKWithCost.extractConstants
d_extractConstants_48 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24
d_extractConstants_48 :: ()
-> T_MachineParameters_46
-> T_Builtin_2
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_BApp_42
-> T_Vec_24
d_extractConstants_48 ~()
v0 ~T_MachineParameters_46
v1 ~T_Builtin_2
v2 ~Integer
v3 ~Integer
v4 T__'8724'_'8803'__120
v5 ~Integer
v6 ~Integer
v7 T__'8724'_'8803'__120
v8 T_BApp_42
v9
  = T__'8724'_'8803'__120
-> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24
du_extractConstants_48 T__'8724'_'8803'__120
v5 T__'8724'_'8803'__120
v8 T_BApp_42
v9
du_extractConstants_48 ::
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24
du_extractConstants_48 :: T__'8724'_'8803'__120
-> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24
du_extractConstants_48 T__'8724'_'8803'__120
v0 T__'8724'_'8803'__120
v1 T_BApp_42
v2
  = case T_BApp_42 -> T_BApp_42
forall a b. a -> b
coe T_BApp_42
v2 of
      T_BApp_42
MAlonzo.Code.Untyped.CEK.C_base_94
        -> T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
MAlonzo.Code.Data.Vec.Base.C_'91''93'_28
      MAlonzo.Code.Untyped.CEK.C_app_106 T_BApp_42
v8 T_Value_14
v9
        -> case T__'8724'_'8803'__120 -> T__'8724'_'8803'__120
forall a b. a -> b
coe T__'8724'_'8803'__120
v1 of
             MAlonzo.Code.Utils.C_bubble_132 T__'8724'_'8803'__120
v13
               -> (Any -> T_Vec_24 -> T_Vec_24) -> T_Value_14 -> Any -> T_Vec_24
forall a b. a -> b
coe
                    Any -> T_Vec_24 -> T_Vec_24
MAlonzo.Code.Data.Vec.Base.C__'8759'__36 T_Value_14
v9
                    ((T__'8724'_'8803'__120
 -> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
-> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24
du_extractConstants_48 (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v0) (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v13) (T_BApp_42 -> Any
forall a b. a -> b
coe T_BApp_42
v8))
             T__'8724'_'8803'__120
_ -> T_Vec_24
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Untyped.CEK.C_app'8902'_120 T_BApp_42
v9
        -> case T__'8724'_'8803'__120 -> T__'8724'_'8803'__120
forall a b. a -> b
coe T__'8724'_'8803'__120
v0 of
             MAlonzo.Code.Utils.C_bubble_132 T__'8724'_'8803'__120
v13
               -> (T__'8724'_'8803'__120
 -> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24)
-> Any -> Any -> Any -> T_Vec_24
forall a b. a -> b
coe T__'8724'_'8803'__120
-> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24
du_extractConstants_48 (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v13) (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v1) (T_BApp_42 -> Any
forall a b. a -> b
coe T_BApp_42
v9)
             T__'8724'_'8803'__120
_ -> T_Vec_24
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_BApp_42
_ -> T_Vec_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.CEKWithCost.spendBuiltin
d_spendBuiltin_58 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Utils.T_Writer_304
d_spendBuiltin_58 :: ()
-> T_MachineParameters_46
-> T_Builtin_2
-> T_BApp_42
-> T_Writer_304
d_spendBuiltin_58 ~()
v0 T_MachineParameters_46
v1 T_Builtin_2
v2 T_BApp_42
v3 = T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_304
du_spendBuiltin_58 T_MachineParameters_46
v1 T_Builtin_2
v2 T_BApp_42
v3
du_spendBuiltin_58 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Utils.T_Writer_304
du_spendBuiltin_58 :: T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_304
du_spendBuiltin_58 T_MachineParameters_46
v0 T_Builtin_2
v1 T_BApp_42
v2
  = (Any -> T_Writer_304) -> Any -> T_Writer_304
forall a b. a -> b
coe
      Any -> T_Writer_304
MAlonzo.Code.Utils.du_tell_344
      ((T_MachineParameters_46 -> T_ExBudgetCategory_34 -> Any)
-> T_MachineParameters_46 -> Any -> Any
forall a b. a -> b
coe
         T_MachineParameters_46 -> T_ExBudgetCategory_34 -> Any
MAlonzo.Code.Cost.Base.d_cekMachineCost_58 T_MachineParameters_46
v0
         ((T_Builtin_2 -> T_Vec_24 -> T_ExBudgetCategory_34)
-> Any -> Any -> Any
forall a b. a -> b
coe
            T_Builtin_2 -> T_Vec_24 -> T_ExBudgetCategory_34
MAlonzo.Code.Cost.Base.C_BBuiltinApp_40 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v1)
            ((T_Builtin_2 -> T_BApp_42 -> T_Vec_24) -> Any -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_BApp_42 -> T_Vec_24
du_argsizes_68 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v1) (T_BApp_42 -> Any
forall a b. a -> b
coe T_BApp_42
v2))))
-- Untyped.CEKWithCost._.argsizes
d_argsizes_68 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24
d_argsizes_68 :: ()
-> T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Vec_24
d_argsizes_68 ~()
v0 ~T_MachineParameters_46
v1 T_Builtin_2
v2 T_BApp_42
v3 = T_Builtin_2 -> T_BApp_42 -> T_Vec_24
du_argsizes_68 T_Builtin_2
v2 T_BApp_42
v3
du_argsizes_68 ::
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  MAlonzo.Code.Untyped.CEK.T_BApp_42 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24
du_argsizes_68 :: T_Builtin_2 -> T_BApp_42 -> T_Vec_24
du_argsizes_68 T_Builtin_2
v0 T_BApp_42
v1
  = (T_Vec_24 -> T_Vec_24) -> Any -> T_Vec_24
forall a b. a -> b
coe
      T_Vec_24 -> T_Vec_24
MAlonzo.Code.Data.Vec.Base.du_reverse_668
      ((T__'8724'_'8803'__120
 -> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
         T__'8724'_'8803'__120
-> T__'8724'_'8803'__120 -> T_BApp_42 -> T_Vec_24
du_extractConstants_48
         ((Integer -> T__'8724'_'8803'__120) -> Any -> Any
forall a b. a -> b
coe
            Integer -> T__'8724'_'8803'__120
MAlonzo.Code.Utils.d_alldone_180
            ((T_Sig_68 -> Integer) -> Any -> Any
forall a b. a -> b
coe
               T_Sig_68 -> Integer
MAlonzo.Code.Builtin.Signature.d_fv_92
               ((T_Builtin_2 -> T_Sig_68) -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_Sig_68
MAlonzo.Code.Builtin.d_signature_278 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v0))))
         ((Integer -> T__'8724'_'8803'__120) -> Any -> Any
forall a b. a -> b
coe
            Integer -> T__'8724'_'8803'__120
MAlonzo.Code.Utils.d_alldone_180
            ((T_Sig_68 -> Integer) -> Any -> Any
forall a b. a -> b
coe
               T_Sig_68 -> Integer
MAlonzo.Code.Builtin.Signature.d_args'9839'_88
               ((T_Builtin_2 -> T_Sig_68) -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_Sig_68
MAlonzo.Code.Builtin.d_signature_278 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v0))))
         (T_BApp_42 -> Any
forall a b. a -> b
coe T_BApp_42
v1))
-- Untyped.CEKWithCost.stepC
d_stepC_70 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
d_stepC_70 :: () -> T_MachineParameters_46 -> T_State_218 -> T_Writer_304
d_stepC_70 ~()
v0 T_MachineParameters_46
v1 T_State_218
v2 = T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 T_MachineParameters_46
v1 T_State_218
v2
du_stepC_70 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
du_stepC_70 :: T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 T_MachineParameters_46
v0 T_State_218
v1
  = case T_State_218 -> T_State_218
forall a b. a -> b
coe T_State_218
v1 of
      MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222 T_Stack_6
v3 T_Env_16
v4 T__'8866'_14
v5
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_'96'_18 Any
v6
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BVar_10))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                          ((T_Env_16 -> Any -> T_Value_14) -> Any -> Any -> Any
forall a b. a -> b
coe T_Env_16 -> Any -> T_Value_14
MAlonzo.Code.Untyped.CEK.du_lookup_232 (T_Env_16 -> Any
forall a b. a -> b
coe T_Env_16
v4) (Any -> Any
forall a b. a -> b
coe Any
v6)))
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v6
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe
                       T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BLamAbs_12))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                          ((T_Env_16 -> T__'8866'_14 -> T_Value_14)
-> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe T_Env_16 -> T__'8866'_14 -> T_Value_14
MAlonzo.Code.Untyped.CEK.C_V'45'ƛ_46 T_Env_16
v4 T__'8866'_14
v6))
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v6 T__'8866'_14
v7
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BApply_14))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                          ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                             T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                             ((T_Env_16 -> T__'8866'_14 -> T_Frame_196)
-> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe T_Env_16 -> T__'8866'_14 -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C_'45''183'_200 T_Env_16
v4 T__'8866'_14
v7))
                          T_Env_16
v4 T__'8866'_14
v6)
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v6
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BForce_18))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                          ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                             T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                             (T_Frame_196 -> Any
forall a b. a -> b
coe T_Frame_196
MAlonzo.Code.Untyped.CEK.C_force'45'_206))
                          T_Env_16
v4 T__'8866'_14
v6)
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v6
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BDelay_16))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                          ((T_Env_16 -> T__'8866'_14 -> T_Value_14)
-> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe T_Env_16 -> T__'8866'_14 -> T_Value_14
MAlonzo.Code.Untyped.CEK.C_V'45'delay_54 T_Env_16
v4 T__'8866'_14
v6))
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C_con_28 T_TmCon_198
v6
               -> case T_TmCon_198 -> T_TmCon_198
forall a b. a -> b
coe T_TmCon_198
v6 of
                    MAlonzo.Code.RawU.C_tmCon_202 T__'8866''9839'_4
v7 Any
v8
                      -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                           T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                           ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                              ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                           ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BConst_8))
                           ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                              ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                                 ((T__'8866''9839'_4 -> Any -> T_Value_14) -> Any -> Any -> Any
forall a b. a -> b
coe T__'8866''9839'_4 -> Any -> T_Value_14
MAlonzo.Code.Untyped.CEK.C_V'45'con_50 (T__'8866''9839'_4 -> Any
forall a b. a -> b
coe T__'8866''9839'_4
v7) (Any -> Any
forall a b. a -> b
coe Any
v8)))
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    T_TmCon_198
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
             MAlonzo.Code.Untyped.C_constr_34 Integer
v6 [T__'8866'_14]
v7
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v7 of
                    []
                      -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                           T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                           ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                              ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                           ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe
                              T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BConstr_22))
                           ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                              ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                                 ((Integer -> T_Stack_6 -> T_Value_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    Integer -> T_Stack_6 -> T_Value_14
MAlonzo.Code.Untyped.CEK.C_V'45'constr_60 (Integer -> Any
forall a b. a -> b
coe Integer
v6)
                                    (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
MAlonzo.Code.Untyped.CEK.C_ε_10)))
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    (:) Any
v8 [Any]
v9
                      -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                           T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                           ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                              ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                           ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe
                              T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BConstr_22))
                           ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                              Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                              ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> Any -> Any
forall a b. a -> b
coe
                                 T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                                 ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                                    ((Integer -> T_Stack_6 -> T_Env_16 -> [T__'8866'_14] -> T_Frame_196)
-> Integer -> Any -> T_Env_16 -> [Any] -> Any
forall a b. a -> b
coe
                                       Integer -> T_Stack_6 -> T_Env_16 -> [T__'8866'_14] -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C_constr'45'_210 Integer
v6
                                       (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
MAlonzo.Code.Untyped.CEK.C_ε_10) T_Env_16
v4 [Any]
v9))
                                 T_Env_16
v4 Any
v8)
                              ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    [Any]
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v6 [T__'8866'_14]
v7
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BCase_24))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                          ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                             T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                             ((T_Env_16 -> [T__'8866'_14] -> T_Frame_196)
-> T_Env_16 -> [T__'8866'_14] -> Any
forall a b. a -> b
coe T_Env_16 -> [T__'8866'_14] -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C_case'45'_216 T_Env_16
v4 [T__'8866'_14]
v7))
                          T_Env_16
v4 T__'8866'_14
v6)
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v6
               -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                    ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                       ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                    ((T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe
                       T_MachineParameters_46 -> T_StepKind_6 -> T_Writer_304
du_spend_28 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_StepKind_6 -> Any
forall a b. a -> b
coe T_StepKind_6
MAlonzo.Code.Cost.Base.C_BBuiltin_20))
                    ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                       ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                          T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v3)
                          ((T_Builtin_2 -> T_Value_14) -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_Value_14
MAlonzo.Code.Untyped.CEK.d_ival_930 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v6)))
                       ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
             T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
               -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                    (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                    ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
             T__'8866'_14
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Untyped.CEK.C__'9669'__224 T_Stack_6
v2 T_Value_14
v3
        -> case T_Stack_6 -> T_Stack_6
forall a b. a -> b
coe T_Stack_6
v2 of
             T_Stack_6
MAlonzo.Code.Untyped.CEK.C_ε_10
               -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                    Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                    ((T_Value_14 -> T_State_218) -> Any -> Any
forall a b. a -> b
coe T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C_'9633'_226 (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v3))
                    ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
             MAlonzo.Code.Untyped.CEK.C__'44'__12 T_Stack_6
v4 Any
v5
               -> case Any -> T_Frame_196
forall a b. a -> b
coe Any
v5 of
                    MAlonzo.Code.Untyped.CEK.C_'45''183'_200 T_Env_16
v7 T__'8866'_14
v8
                      -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                           Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                           ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                              T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                              ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                 ((T_Value_14 -> T_Frame_196) -> Any -> Any
forall a b. a -> b
coe T_Value_14 -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C__'183''45'_204 (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v3)))
                              T_Env_16
v7 T__'8866'_14
v8)
                           ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                    MAlonzo.Code.Untyped.CEK.C_'45''183'v_202 T_Value_14
v6
                      -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                           Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                           ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                              T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224
                              ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                 ((T_Value_14 -> T_Frame_196) -> Any -> Any
forall a b. a -> b
coe T_Value_14 -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C__'183''45'_204 (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v3)))
                              (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v6))
                           ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                    MAlonzo.Code.Untyped.CEK.C__'183''45'_204 T_Value_14
v6
                      -> case T_Value_14 -> T_Value_14
forall a b. a -> b
coe T_Value_14
v6 of
                           MAlonzo.Code.Untyped.CEK.C_V'45'ƛ_46 T_Env_16
v8 T__'8866'_14
v9
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> T_Stack_6 -> Any -> T__'8866'_14 -> Any
forall a b. a -> b
coe
                                     T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222 T_Stack_6
v4
                                     ((T_Env_16 -> T_Value_14 -> T_Env_16)
-> T_Env_16 -> T_Value_14 -> Any
forall a b. a -> b
coe T_Env_16 -> T_Value_14 -> T_Env_16
MAlonzo.Code.Untyped.CEK.C__'8759'__22 T_Env_16
v8 T_Value_14
v3) T__'8866'_14
v9)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'con_50 T__'8866''9839'_4
v7 Any
v8
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'delay_54 T_Env_16
v8 T__'8866'_14
v9
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'constr_60 Integer
v7 T_Stack_6
v8
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'I'8658'_74 T_Builtin_2
v7 Integer
v8 T__'8724'_'8803'__120
v9 Integer
v10 Integer
v11 T__'8724'_'8803'__120
v12 T_BApp_42
v13
                             -> case Integer -> Integer
forall a b. a -> b
coe Integer
v11 of
                                  Integer
0 -> (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                         T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
                                         ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
                                            ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                                            ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                                         ((T_MachineParameters_46
 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_304)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                            T_MachineParameters_46 -> T_Builtin_2 -> T_BApp_42 -> T_Writer_304
du_spendBuiltin_58 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v7)
                                            ((T_BApp_42 -> T_Value_14 -> T_BApp_42)
-> T_BApp_42 -> T_Value_14 -> Any
forall a b. a -> b
coe T_BApp_42 -> T_Value_14 -> T_BApp_42
MAlonzo.Code.Untyped.CEK.C_app_106 T_BApp_42
v13 T_Value_14
v3))
                                         ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                            ((T_Either_6 Any Any -> (Any -> Any) -> (Any -> Any) -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                               T_Either_6 Any Any -> (Any -> Any) -> (Any -> Any) -> Any
MAlonzo.Code.Utils.du_either_22
                                               ((T_Builtin_2
 -> T_BApp_42 -> T_Either_6 T_RuntimeError_348 T_Value_14)
-> T_Builtin_2 -> Any -> Any
forall a b. a -> b
coe
                                                  T_Builtin_2
-> T_BApp_42 -> T_Either_6 T_RuntimeError_348 T_Value_14
MAlonzo.Code.Untyped.CEK.d_BUILTIN_278 T_Builtin_2
v7
                                                  ((T_BApp_42 -> T_Value_14 -> T_BApp_42)
-> T_BApp_42 -> T_Value_14 -> Any
forall a b. a -> b
coe T_BApp_42 -> T_Value_14 -> T_BApp_42
MAlonzo.Code.Untyped.CEK.C_app_106 T_BApp_42
v13 T_Value_14
v3))
                                               ((Any -> Any) -> Any
forall a b. a -> b
coe
                                                  (\ Any
v14 ->
                                                     T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228))
                                               ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any
forall a b. a -> b
coe
                                                  T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)))
                                            ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                                  Integer
_ -> let v14 :: Integer
v14 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v11) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
                                       Any -> T_Writer_304
forall a b. a -> b
coe
                                         ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                            ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                                               T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                               ((T_Builtin_2
 -> Integer
 -> Integer
 -> T__'8724'_'8803'__120
 -> Integer
 -> Integer
 -> T__'8724'_'8803'__120
 -> T_BApp_42
 -> T_Value_14)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                  T_Builtin_2
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_BApp_42
-> T_Value_14
MAlonzo.Code.Untyped.CEK.d_V'45'I_258 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v7)
                                                  (Integer -> Any
forall a b. a -> b
coe Integer
v8) (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v9)
                                                  ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v10))
                                                  (Integer -> Any
forall a b. a -> b
coe Integer
v14)
                                                  ((T__'8724'_'8803'__120 -> T__'8724'_'8803'__120)
-> T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120 -> T__'8724'_'8803'__120
MAlonzo.Code.Utils.C_bubble_132 T__'8724'_'8803'__120
v12)
                                                  ((T_BApp_42 -> T_Value_14 -> T_BApp_42)
-> T_BApp_42 -> T_Value_14 -> Any
forall a b. a -> b
coe T_BApp_42 -> T_Value_14 -> T_BApp_42
MAlonzo.Code.Untyped.CEK.C_app_106 T_BApp_42
v13 T_Value_14
v3)))
                                            ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
                           MAlonzo.Code.Untyped.CEK.C_V'45'IΠ_90 T_Builtin_2
v7 Integer
v8 Integer
v9 T__'8724'_'8803'__120
v10 Integer
v11 Integer
v12 T__'8724'_'8803'__120
v13 T_BApp_42
v14
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           T_Value_14
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T_Frame_196
MAlonzo.Code.Untyped.CEK.C_force'45'_206
                      -> case T_Value_14 -> T_Value_14
forall a b. a -> b
coe T_Value_14
v3 of
                           MAlonzo.Code.Untyped.CEK.C_V'45'ƛ_46 T_Env_16
v7 T__'8866'_14
v8
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'con_50 T__'8866''9839'_4
v6 Any
v7
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'delay_54 T_Env_16
v7 T__'8866'_14
v8
                             -> (T_MachineParameters_46 -> T_State_218 -> T_Writer_304)
-> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)
                                  ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> Any
forall a b. a -> b
coe T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222 T_Stack_6
v4 T_Env_16
v7 T__'8866'_14
v8)
                           MAlonzo.Code.Untyped.CEK.C_V'45'constr_60 Integer
v6 T_Stack_6
v7
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'I'8658'_74 T_Builtin_2
v6 Integer
v7 T__'8724'_'8803'__120
v8 Integer
v9 Integer
v10 T__'8724'_'8803'__120
v11 T_BApp_42
v12
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'IΠ_90 T_Builtin_2
v6 Integer
v7 Integer
v8 T__'8724'_'8803'__120
v9 Integer
v10 Integer
v11 T__'8724'_'8803'__120
v12 T_BApp_42
v13
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                                     T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                     ((T_Builtin_2
 -> Integer
 -> Integer
 -> T__'8724'_'8803'__120
 -> Integer
 -> Integer
 -> T__'8724'_'8803'__120
 -> T_BApp_42
 -> T_Value_14)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                        T_Builtin_2
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_BApp_42
-> T_Value_14
MAlonzo.Code.Untyped.CEK.d_V'45'I_258 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v6)
                                        ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v7)) (Integer -> Any
forall a b. a -> b
coe Integer
v8)
                                        ((T__'8724'_'8803'__120 -> T__'8724'_'8803'__120)
-> T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120 -> T__'8724'_'8803'__120
MAlonzo.Code.Utils.C_bubble_132 T__'8724'_'8803'__120
v9) (Integer -> Any
forall a b. a -> b
coe Integer
v10) (Integer -> Any
forall a b. a -> b
coe Integer
v11)
                                        (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v12)
                                        ((T_BApp_42 -> T_BApp_42) -> T_BApp_42 -> Any
forall a b. a -> b
coe T_BApp_42 -> T_BApp_42
MAlonzo.Code.Untyped.CEK.C_app'8902'_120 T_BApp_42
v13)))
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           T_Value_14
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
                    MAlonzo.Code.Untyped.CEK.C_constr'45'_210 Integer
v7 T_Stack_6
v8 T_Env_16
v9 [T__'8866'_14]
v10
                      -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v10 of
                           []
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  ((T_Stack_6 -> T_Value_14 -> T_State_218) -> Any -> Any -> Any
forall a b. a -> b
coe
                                     T_Stack_6 -> T_Value_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'9669'__224 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                     ((Integer -> T_Stack_6 -> T_Value_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                        Integer -> T_Stack_6 -> T_Value_14
MAlonzo.Code.Untyped.CEK.C_V'45'constr_60 (Integer -> Any
forall a b. a -> b
coe Integer
v7)
                                        ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                           T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v8) (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v3))))
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           (:) Any
v11 [Any]
v12
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> T_Env_16 -> Any -> Any
forall a b. a -> b
coe
                                     T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                                     ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                        T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                        ((Integer -> T_Stack_6 -> T_Env_16 -> [T__'8866'_14] -> T_Frame_196)
-> Integer -> Any -> T_Env_16 -> [Any] -> Any
forall a b. a -> b
coe
                                           Integer -> T_Stack_6 -> T_Env_16 -> [T__'8866'_14] -> T_Frame_196
MAlonzo.Code.Untyped.CEK.C_constr'45'_210 Integer
v7
                                           ((T_Stack_6 -> Any -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                              T_Stack_6 -> Any -> T_Stack_6
MAlonzo.Code.Untyped.CEK.C__'44'__12 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v8)
                                              (T_Value_14 -> Any
forall a b. a -> b
coe T_Value_14
v3))
                                           T_Env_16
v9 [Any]
v12))
                                     T_Env_16
v9 Any
v11)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           [Any]
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
                    MAlonzo.Code.Untyped.CEK.C_case'45'_216 T_Env_16
v7 [T__'8866'_14]
v8
                      -> case T_Value_14 -> T_Value_14
forall a b. a -> b
coe T_Value_14
v3 of
                           MAlonzo.Code.Untyped.CEK.C_V'45'ƛ_46 T_Env_16
v10 T__'8866'_14
v11
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'con_50 T__'8866''9839'_4
v9 Any
v10
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'delay_54 T_Env_16
v10 T__'8866'_14
v11
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'constr_60 Integer
v9 T_Stack_6
v10
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (((Any -> Any) -> Any -> Maybe Any -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                     (Any -> Any) -> Any -> Maybe Any -> Any
MAlonzo.Code.Data.Maybe.Base.du_maybe_36
                                     ((T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                        T_Stack_6 -> T_Env_16 -> T__'8866'_14 -> T_State_218
MAlonzo.Code.Untyped.CEK.C__'894'_'9659'__222
                                        ((T_Stack_6 -> T_Stack_6 -> T_Stack_6) -> Any -> Any -> Any
forall a b. a -> b
coe
                                           T_Stack_6 -> T_Stack_6 -> T_Stack_6
MAlonzo.Code.Untyped.CEK.d_pushValueFrames_934 (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v4)
                                           (T_Stack_6 -> Any
forall a b. a -> b
coe T_Stack_6
v10))
                                        (T_Env_16 -> Any
forall a b. a -> b
coe T_Env_16
v7))
                                     (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                     ((Integer -> [Any] -> Maybe Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                                        Integer -> [Any] -> Maybe Any
MAlonzo.Code.Untyped.CEK.du_lookup'63'_946 (Integer -> Any
forall a b. a -> b
coe Integer
v9)
                                        ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v8)))
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'I'8658'_74 T_Builtin_2
v9 Integer
v10 T__'8724'_'8803'__120
v11 Integer
v12 Integer
v13 T__'8724'_'8803'__120
v14 T_BApp_42
v15
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           MAlonzo.Code.Untyped.CEK.C_V'45'IΠ_90 T_Builtin_2
v9 Integer
v10 Integer
v11 T__'8724'_'8803'__120
v12 Integer
v13 Integer
v14 T__'8724'_'8803'__120
v15 T_BApp_42
v16
                             -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                                  Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                                  (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228)
                                  ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
                           T_Value_14
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T_Frame_196
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Stack_6
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Untyped.CEK.C_'9633'_226 T_Value_14
v2
        -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
             Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318 (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v1)
             ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
      T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228
        -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
             Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318 (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v1)
             ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
      T_State_218
_ -> T_Writer_304
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.CEKWithCost.stepperC-internal
d_stepperC'45'internal_314 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
d_stepperC'45'internal_314 :: ()
-> T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
d_stepperC'45'internal_314 ~()
v0 T_MachineParameters_46
v1 Integer
v2 T_State_218
v3
  = T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC'45'internal_314 T_MachineParameters_46
v1 Integer
v2 T_State_218
v3
du_stepperC'45'internal_314 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
du_stepperC'45'internal_314 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC'45'internal_314 T_MachineParameters_46
v0 Integer
v1 T_State_218
v2
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v1 of
      Integer
0 -> (Any -> Any -> T_Writer_304) -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
             Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
             ((Any -> T_Either_6 Any Any) -> Any -> Any
forall a b. a -> b
coe
                Any -> T_Either_6 Any Any
forall {a} {b}. a -> Either a b
MAlonzo.Code.Utils.C_inj'8321'_12
                (T_RuntimeError_348 -> Any
forall a b. a -> b
coe T_RuntimeError_348
MAlonzo.Code.Utils.C_gasError_350))
             ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
      Integer
_ -> let v3 :: Integer
v3 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
           Any -> T_Writer_304
forall a b. a -> b
coe
             ((Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                ((T_Writer_304 -> Any) -> Any -> Any
forall a b. a -> b
coe
                   T_Writer_304 -> Any
MAlonzo.Code.Utils.d_wrvalue_314
                   ((T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                      T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_go_328 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v3)
                      ((T_Writer_304 -> Any) -> Any -> Any
forall a b. a -> b
coe
                         T_Writer_304 -> Any
MAlonzo.Code.Utils.d_wrvalue_314
                         ((T_MachineParameters_46 -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2)))))
                ((T_MachineParameters_46 -> Any -> Any -> Any)
-> T_MachineParameters_46 -> Any -> Any -> Any
forall a b. a -> b
coe
                   T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 T_MachineParameters_46
v0
                   (T_Writer_304 -> Any
MAlonzo.Code.Utils.d_accum_316
                      ((T_MachineParameters_46 -> T_State_218 -> T_Writer_304)
-> Any -> Any -> T_Writer_304
forall a b. a -> b
coe T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2)))
                   (T_Writer_304 -> Any
MAlonzo.Code.Utils.d_accum_316
                      ((T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
                         T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_go_328 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v3)
                         ((T_Writer_304 -> Any) -> Any -> Any
forall a b. a -> b
coe
                            T_Writer_304 -> Any
MAlonzo.Code.Utils.d_wrvalue_314
                            ((T_MachineParameters_46 -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_State_218 -> T_Writer_304
du_stepC_70 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2)))))))
-- Untyped.CEKWithCost._.go
d_go_328 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
d_go_328 :: ()
-> T_MachineParameters_46
-> Integer
-> T_State_218
-> T_State_218
-> T_Writer_304
d_go_328 ~()
v0 T_MachineParameters_46
v1 Integer
v2 ~T_State_218
v3 T_State_218
v4 = T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_go_328 T_MachineParameters_46
v1 Integer
v2 T_State_218
v4
du_go_328 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
du_go_328 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_go_328 T_MachineParameters_46
v0 Integer
v1 T_State_218
v2
  = let v3 :: t
v3
          = (T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any -> t
forall a b. a -> b
coe T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC'45'internal_314 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2) in
    Any -> T_Writer_304
forall a b. a -> b
coe
      (case T_State_218 -> T_State_218
forall a b. a -> b
coe T_State_218
v2 of
         MAlonzo.Code.Untyped.CEK.C_'9633'_226 T_Value_14
v4
           -> (Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                ((Any -> T_Either_6 Any Any) -> Any -> Any
forall a b. a -> b
coe Any -> T_Either_6 Any Any
forall {a} {b}. b -> Either a b
MAlonzo.Code.Utils.C_inj'8322'_14 (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2))
                ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
         T_State_218
MAlonzo.Code.Untyped.CEK.C_'9670'_228
           -> (Any -> Any -> T_Writer_304) -> Any -> Any -> Any
forall a b. a -> b
coe
                Any -> Any -> T_Writer_304
MAlonzo.Code.Utils.C__'44'__318
                ((Any -> T_Either_6 Any Any) -> Any -> Any
forall a b. a -> b
coe Any -> T_Either_6 Any Any
forall {a} {b}. b -> Either a b
MAlonzo.Code.Utils.C_inj'8322'_14 (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2))
                ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
         T_State_218
_ -> Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
-- Untyped.CEKWithCost.stepperC
d_stepperC_338 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
d_stepperC_338 :: ()
-> T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
d_stepperC_338 ~()
v0 T_MachineParameters_46
v1 Integer
v2 T_State_218
v3 = T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC_338 T_MachineParameters_46
v1 Integer
v2 T_State_218
v3
du_stepperC_338 ::
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Utils.T_Writer_304
du_stepperC_338 :: T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC_338 T_MachineParameters_46
v0 Integer
v1 T_State_218
v2
  = (T_Monad_186 -> Any -> Any -> Any)
-> Any -> Any -> Any -> T_Writer_304
forall a b. a -> b
coe
      T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214
      ((Any -> (Any -> Any -> Any) -> T_Monad_186) -> Any -> Any -> Any
forall a b. a -> b
coe
         Any -> (Any -> Any -> Any) -> T_Monad_186
MAlonzo.Code.Utils.du_WriterMonad_328
         ((T_MachineParameters_46 -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any
MAlonzo.Code.Cost.Base.d_ε_60 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
         ((T_MachineParameters_46 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Any -> Any -> Any
MAlonzo.Code.Cost.Base.d__'8729'__62 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0)))
      ((T_MachineParameters_46 -> T_Writer_304) -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> T_Writer_304
du_spendStartupCost_32 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0))
      ((T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_MachineParameters_46 -> Integer -> T_State_218 -> T_Writer_304
du_stepperC'45'internal_314 (T_MachineParameters_46 -> Any
forall a b. a -> b
coe T_MachineParameters_46
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T_State_218 -> Any
forall a b. a -> b
coe T_State_218
v2))
-- Untyped.CEKWithCost.cekStepEquivalence
d_cekStepEquivalence_346 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_cekStepEquivalence_346 :: () -> T_MachineParameters_46 -> T_State_218 -> T__'8801'__12
d_cekStepEquivalence_346 = () -> T_MachineParameters_46 -> T_State_218 -> T__'8801'__12
forall a. a
erased
-- Untyped.CEKWithCost.cekStepperEquivalence
d_cekStepperEquivalence_472 ::
  () ->
  MAlonzo.Code.Cost.Base.T_MachineParameters_46 ->
  Integer ->
  MAlonzo.Code.Untyped.CEK.T_State_218 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_cekStepperEquivalence_472 :: ()
-> T_MachineParameters_46
-> Integer
-> T_State_218
-> T__'8801'__12
d_cekStepperEquivalence_472 = ()
-> T_MachineParameters_46
-> Integer
-> T_State_218
-> T__'8801'__12
forall a. a
erased