{-# 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.Algorithmic.CK 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.Agda.Builtin.List
import qualified MAlonzo.Code.Algorithmic
import qualified MAlonzo.Code.Algorithmic.ReductionEC
import qualified MAlonzo.Code.Algorithmic.RenamingSubstitution
import qualified MAlonzo.Code.Algorithmic.Signature
import qualified MAlonzo.Code.Data.Vec.Base
import qualified MAlonzo.Code.Type
import qualified MAlonzo.Code.Type.BetaNBE
import qualified MAlonzo.Code.Type.BetaNBE.RenamingSubstitution
import qualified MAlonzo.Code.Type.BetaNormal
import qualified MAlonzo.Code.Utils
import qualified MAlonzo.Code.Utils.List
d_Stack_18 :: p -> p -> ()
d_Stack_18 p
a0 p
a1 = ()
data T_Stack_18
= C_ε_22 |
C__'44'__30 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
T_Stack_18 MAlonzo.Code.Algorithmic.ReductionEC.T_Frame_352
d_State_34 :: p -> ()
d_State_34 p
a0 = ()
data T_State_34
= C__'9659'__40 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
T_Stack_18 MAlonzo.Code.Algorithmic.T__'8866'__168 |
C__'9669'__46 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
T_Stack_18 MAlonzo.Code.Algorithmic.T__'8866'__168
MAlonzo.Code.Algorithmic.ReductionEC.T_Value_28 |
C_'9633'_50 MAlonzo.Code.Algorithmic.T__'8866'__168
MAlonzo.Code.Algorithmic.ReductionEC.T_Value_28 |
C_'9670'_54 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_closeStack_60 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_Stack_18 ->
MAlonzo.Code.Algorithmic.T__'8866'__168 ->
MAlonzo.Code.Algorithmic.T__'8866'__168
d_closeStack_60 :: T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T_Stack_18
-> T__'8866'__168
-> T__'8866'__168
d_closeStack_60 ~T__'8866'Nf'8902'__4
v0 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3 = T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168
du_closeStack_60 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3
du_closeStack_60 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_Stack_18 ->
MAlonzo.Code.Algorithmic.T__'8866'__168 ->
MAlonzo.Code.Algorithmic.T__'8866'__168
du_closeStack_60 :: T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168
du_closeStack_60 T__'8866'Nf'8902'__4
v0 T_Stack_18
v1 T__'8866'__168
v2
= case T_Stack_18 -> T_Stack_18
forall a b. a -> b
coe T_Stack_18
v1 of
T_Stack_18
C_ε_22 -> T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v2
C__'44'__30 T__'8866'Nf'8902'__4
v4 T_Stack_18
v6 T_Frame_352
v7
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168)
-> Any -> Any -> Any -> T__'8866'__168
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168
du_closeStack_60 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v4) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v6)
((T__'8866'Nf'8902'__4
-> T_Frame_352 -> T__'8866'__168 -> T__'8866'__168)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Frame_352 -> T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.ReductionEC.du__'91'_'93''7584'_434
(T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v0) (T_Frame_352 -> Any
forall a b. a -> b
coe T_Frame_352
v7) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v2))
T_Stack_18
_ -> T__'8866'__168
forall a. a
MAlonzo.RTE.mazUnreachableError
d_closeState_72 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_State_34 -> MAlonzo.Code.Algorithmic.T__'8866'__168
d_closeState_72 :: T__'8866'Nf'8902'__4 -> T_State_34 -> T__'8866'__168
d_closeState_72 ~T__'8866'Nf'8902'__4
v0 T_State_34
v1 = T_State_34 -> T__'8866'__168
du_closeState_72 T_State_34
v1
du_closeState_72 ::
T_State_34 -> MAlonzo.Code.Algorithmic.T__'8866'__168
du_closeState_72 :: T_State_34 -> T__'8866'__168
du_closeState_72 T_State_34
v0
= case T_State_34 -> T_State_34
forall a b. a -> b
coe T_State_34
v0 of
C__'9659'__40 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168)
-> Any -> Any -> Any -> T__'8866'__168
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168
du_closeStack_60 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v3)
C__'9669'__46 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3 T_Value_28
v4
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168)
-> Any -> Any -> Any -> T__'8866'__168
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T__'8866'__168
du_closeStack_60 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v3)
C_'9633'_50 T__'8866'__168
v1 T_Value_28
v2 -> T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v1
C_'9670'_54 T__'8866'Nf'8902'__4
v1 -> T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
MAlonzo.Code.Algorithmic.C_error_258
T_State_34
_ -> T__'8866'__168
forall a. a
MAlonzo.RTE.mazUnreachableError
d_discharge_94 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
MAlonzo.Code.Algorithmic.T__'8866'__168 ->
MAlonzo.Code.Algorithmic.ReductionEC.T_Value_28 ->
MAlonzo.Code.Algorithmic.T__'8866'__168
d_discharge_94 :: T__'8866'Nf'8902'__4
-> T__'8866'__168 -> T_Value_28 -> T__'8866'__168
d_discharge_94 ~T__'8866'Nf'8902'__4
v0 T__'8866'__168
v1 ~T_Value_28
v2 = T__'8866'__168 -> T__'8866'__168
du_discharge_94 T__'8866'__168
v1
du_discharge_94 ::
MAlonzo.Code.Algorithmic.T__'8866'__168 ->
MAlonzo.Code.Algorithmic.T__'8866'__168
du_discharge_94 :: T__'8866'__168 -> T__'8866'__168
du_discharge_94 T__'8866'__168
v0 = T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v0
d_pushValueFrames_110 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
MAlonzo.Code.Utils.List.T_Bwd_6 ->
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_Stack_18 ->
MAlonzo.Code.Utils.List.T_IBwd_396 ->
MAlonzo.Code.Utils.List.T_IIBwd_832 ->
MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> T_Stack_18
d_pushValueFrames_110 :: T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T_Bwd_6
-> T__'8866'Nf'8902'__4
-> T_Stack_18
-> T_IBwd_396
-> T_IIBwd_832
-> T__'8801'__12
-> T_Stack_18
d_pushValueFrames_110 ~T__'8866'Nf'8902'__4
v0 T__'8866'Nf'8902'__4
v1 T_Bwd_6
v2 ~T__'8866'Nf'8902'__4
v3 T_Stack_18
v4 T_IBwd_396
v5 T_IIBwd_832
v6 ~T__'8801'__12
v7
= T__'8866'Nf'8902'__4
-> T_Bwd_6 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T_Stack_18
du_pushValueFrames_110 T__'8866'Nf'8902'__4
v1 T_Bwd_6
v2 T_Stack_18
v4 T_IBwd_396
v5 T_IIBwd_832
v6
du_pushValueFrames_110 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
MAlonzo.Code.Utils.List.T_Bwd_6 ->
T_Stack_18 ->
MAlonzo.Code.Utils.List.T_IBwd_396 ->
MAlonzo.Code.Utils.List.T_IIBwd_832 -> T_Stack_18
du_pushValueFrames_110 :: T__'8866'Nf'8902'__4
-> T_Bwd_6 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T_Stack_18
du_pushValueFrames_110 T__'8866'Nf'8902'__4
v0 T_Bwd_6
v1 T_Stack_18
v2 T_IBwd_396
v3 T_IIBwd_832
v4
= case T_IIBwd_832 -> T_IIBwd_832
forall a b. a -> b
coe T_IIBwd_832
v4 of
T_IIBwd_832
MAlonzo.Code.Utils.List.C_'91''93'_840 -> T_Stack_18 -> T_Stack_18
forall a b. a -> b
coe T_Stack_18
v2
MAlonzo.Code.Utils.List.C__'58''60'__850 T_IIBwd_832
v9 Any
v10
-> case T_Bwd_6 -> T_Bwd_6
forall a b. a -> b
coe T_Bwd_6
v1 of
MAlonzo.Code.Utils.List.C__'58''60'__12 T_Bwd_6
v11 Any
v12
-> case T_IBwd_396 -> T_IBwd_396
forall a b. a -> b
coe T_IBwd_396
v3 of
MAlonzo.Code.Utils.List.C__'58''60'__408 T_IBwd_396
v15 Any
v16
-> (T__'8866'Nf'8902'__4
-> T_Bwd_6
-> T_Stack_18
-> T_IBwd_396
-> T_IIBwd_832
-> T_Stack_18)
-> Any -> Any -> Any -> Any -> Any -> T_Stack_18
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Bwd_6 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T_Stack_18
du_pushValueFrames_110
((T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 Any
v12 T__'8866'Nf'8902'__4
v0) (T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
v11)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 T__'8866'Nf'8902'__4
v0 T_Stack_18
v2
((T__'8866'__168 -> T_Value_28 -> T_Frame_352) -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'__168 -> T_Value_28 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183'v_366 Any
v16 Any
v10))
(T_IBwd_396 -> Any
forall a b. a -> b
coe T_IBwd_396
v15) (T_IIBwd_832 -> Any
forall a b. a -> b
coe T_IIBwd_832
v9)
T_IBwd_396
_ -> T_Stack_18
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Bwd_6
_ -> T_Stack_18
forall a. a
MAlonzo.RTE.mazUnreachableError
T_IIBwd_832
_ -> T_Stack_18
forall a. a
MAlonzo.RTE.mazUnreachableError
d_step_122 ::
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_State_34 -> T_State_34
d_step_122 :: T__'8866'Nf'8902'__4 -> T_State_34 -> T_State_34
d_step_122 ~T__'8866'Nf'8902'__4
v0 T_State_34
v1 = T_State_34 -> T_State_34
du_step_122 T_State_34
v1
du_step_122 :: T_State_34 -> T_State_34
du_step_122 :: T_State_34 -> T_State_34
du_step_122 T_State_34
v0
= case T_State_34 -> T_State_34
forall a b. a -> b
coe T_State_34
v0 of
C__'9659'__40 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3
-> case T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v3 of
MAlonzo.Code.Algorithmic.C_ƛ_180 T__'8866'__168
v6
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 T__'8866'Nf'8902'__4
v8 T__'8866'Nf'8902'__4
v9
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 T__'8866'Nf'8902'__4
v8 T__'8866'Nf'8902'__4
v9) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2)
((T__'8866'__168 -> T__'8866'__168) -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_ƛ_180 T__'8866'__168
v6)
(T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'ƛ_138)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.C__'183'__186 T__'8866'Nf'8902'__4
v4 T__'8866'__168
v6 T__'8866'__168
v7
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40
((T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 T__'8866'Nf'8902'__4
v4 T__'8866'Nf'8902'__4
v1)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2
((T__'8866'__168 -> T_Frame_352) -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183'__358 T__'8866'__168
v7))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v6)
MAlonzo.Code.Algorithmic.C_Λ_192 T__'8866'__168
v6
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_Π_14 T_Kind_476
v8 T__'8866'Nf'8902'__4
v9
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46 ((T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_Π_14 T_Kind_476
v8 T__'8866'Nf'8902'__4
v9)
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2) ((T__'8866'__168 -> T__'8866'__168) -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_Λ_192 T__'8866'__168
v6)
(T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'Λ_146)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.C__'183''8902'_'47'__202 T_Kind_476
v4 T__'8866'Nf'8902'__4
v6 T__'8866'__168
v7 T__'8866'Nf'8902'__4
v8
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 ((T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_Π_14 T_Kind_476
v4 T__'8866'Nf'8902'__4
v6)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30
(T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d__'91'_'93'Nf_236
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v4) (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6) (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v8))
T_Stack_18
v2
((T__'8866'Nf'8902'__4 -> T_Frame_352)
-> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183''8902'_382 T__'8866'Nf'8902'__4
v8))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v7)
MAlonzo.Code.Algorithmic.C_wrap_210 T__'8866'__168
v7
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v9 T__'8866'Nf'8902'__4
v10 T__'8866'Nf'8902'__4
v11
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40
((T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866''8902'__20 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866''8902'__20 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.d_nf_258
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> Any -> T__'8866''8902'__20 -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v9
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> Any -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
(T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v10))
((T__'8866''8902'__20 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8866''8902'__20 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_ƛ_28
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C_μ_32 T_Kind_476
v9
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe
T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
((T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> Any
-> Any
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.d_weakenNf_122
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v9)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
T_Kind_476
v9 T__'8866'Nf'8902'__4
v10))
((T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8715''8902'__14 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_'96'_22
(T__'8715''8902'__14 -> Any
forall a b. a -> b
coe T__'8715''8902'__14
MAlonzo.Code.Type.C_Z_16)))))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v9) (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v11))))
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> Any -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 ((T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v9 T__'8866'Nf'8902'__4
v10 T__'8866'Nf'8902'__4
v11) T_Stack_18
v2
(T_Frame_352 -> Any
forall a b. a -> b
coe T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_wrap'45'_390))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v7)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.C_unwrap_220 T_Kind_476
v4 T__'8866'Nf'8902'__4
v6 T__'8866'Nf'8902'__4
v7 T__'8866'__168
v8
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 ((T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v4 T__'8866'Nf'8902'__4
v6 T__'8866'Nf'8902'__4
v7)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866''8902'__20 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.d_nf_258
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> Any -> T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v4
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> Any -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
(T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6))
((T__'8866''8902'__20 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8866''8902'__20 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_ƛ_28
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C_μ_32 T_Kind_476
v4
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe
T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
((T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> Any
-> Any
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.d_weakenNf_122
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
T_Kind_476
v4 T__'8866'Nf'8902'__4
v6))
((T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8715''8902'__14 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_'96'_22
(T__'8715''8902'__14 -> Any
forall a b. a -> b
coe T__'8715''8902'__14
MAlonzo.Code.Type.C_Z_16)))))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v4) (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v7))))
T_Stack_18
v2 (T_Frame_352 -> Any
forall a b. a -> b
coe T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_unwrap'45'_398))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v8)
MAlonzo.Code.Algorithmic.C_constr_230 T_Fin_10
v5 [T__'8866'Nf'8902'__4]
v7 T_IList_302
v9
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v11 T_Vec_28
v12
-> let v13 :: t
v13
= (T_Vec_28 -> T_Fin_10 -> Any) -> Any -> Any -> t
forall a b. a -> b
coe T_Vec_28 -> T_Fin_10 -> Any
MAlonzo.Code.Data.Vec.Base.du_lookup_82 (T_Vec_28 -> Any
forall a b. a -> b
coe T_Vec_28
v12) (T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10
v5) in
Any -> T_State_34
forall a b. a -> b
coe
(case Any -> [Any]
forall a b. a -> b
coe Any
forall a. a
v13 of
[]
-> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
Any -> Any -> Any
forall a b. a -> b -> b
seq (T_IList_302 -> Any
forall a b. a -> b
coe T_IList_302
v9)
((T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4)
-> Integer -> T_Vec_28 -> Any
forall a b. a -> b
coe Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v11 T_Vec_28
v12) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2)
((T_Fin_10
-> [T__'8866'Nf'8902'__4] -> T_IList_302 -> T__'8866'__168)
-> T_Fin_10 -> Any -> Any -> Any
forall a b. a -> b
coe
T_Fin_10 -> [T__'8866'Nf'8902'__4] -> T_IList_302 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_constr_230 T_Fin_10
v5 Any
forall a. a
v13
((T_Bwd_6 -> T_IBwd_396 -> T_IList_302) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> T_IBwd_396 -> T_IList_302
MAlonzo.Code.Utils.List.du_IBwd2IList_538
((T_Bwd_6 -> [Any] -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> [Any] -> T_Bwd_6
MAlonzo.Code.Utils.List.du__'60''62''60'__54
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
MAlonzo.Code.Utils.List.C_'91''93'_10)
(Any -> Any
forall a b. a -> b
coe Any
forall a. a
v13))
(T_IBwd_396 -> Any
forall a b. a -> b
coe T_IBwd_396
MAlonzo.Code.Utils.List.C_'91''93'_402)))
((T_Bwd_6 -> T_IBwd_396 -> T_IIBwd_832 -> T_Value_28)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> T_IBwd_396 -> T_IIBwd_832 -> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'constr_234
((T_Bwd_6 -> [Any] -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> [Any] -> T_Bwd_6
MAlonzo.Code.Utils.List.du__'60''62''60'__54
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
MAlonzo.Code.Utils.List.C_'91''93'_10) (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v13))
(T_IBwd_396 -> Any
forall a b. a -> b
coe T_IBwd_396
MAlonzo.Code.Utils.List.C_'91''93'_402)
(T_IIBwd_832 -> Any
forall a b. a -> b
coe T_IIBwd_832
MAlonzo.Code.Utils.List.C_'91''93'_840)))
(:) Any
v14 [Any]
v15
-> case T_IList_302 -> T_IList_302
forall a b. a -> b
coe T_IList_302
v9 of
MAlonzo.Code.Utils.List.C__'8759'__314 Any
v18 T_IList_302
v19
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 (Any -> Any
forall a b. a -> b
coe Any
v14)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> Any -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30
((Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4)
-> Integer -> T_Vec_28 -> Any
forall a b. a -> b
coe Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v11 T_Vec_28
v12)
T_Stack_18
v2
((T_Bwd_6
-> [T__'8866'Nf'8902'__4]
-> T_Fin_10
-> [T__'8866'Nf'8902'__4]
-> T__'8803'_'60''62''62'__684
-> T_IBwd_396
-> T_IIBwd_832
-> T_IList_302
-> T_Frame_352)
-> Any
-> [Any]
-> T_Fin_10
-> Any
-> Any
-> Any
-> Any
-> T_IList_302
-> Any
forall a b. a -> b
coe
T_Bwd_6
-> [T__'8866'Nf'8902'__4]
-> T_Fin_10
-> [T__'8866'Nf'8902'__4]
-> T__'8803'_'60''62''62'__684
-> T_IBwd_396
-> T_IIBwd_832
-> T_IList_302
-> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_constr'45'_420
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
MAlonzo.Code.Utils.List.C_'91''93'_10) [Any]
v15 T_Fin_10
v5
Any
forall a. a
v13 (T__'8803'_'60''62''62'__684 -> Any
forall a b. a -> b
coe T__'8803'_'60''62''62'__684
MAlonzo.Code.Utils.List.C_start_690)
(T_IBwd_396 -> Any
forall a b. a -> b
coe T_IBwd_396
MAlonzo.Code.Utils.List.C_'91''93'_402)
(T_IIBwd_832 -> Any
forall a b. a -> b
coe T_IIBwd_832
MAlonzo.Code.Utils.List.C_'91''93'_840) T_IList_302
v19))
(Any -> Any
forall a b. a -> b
coe Any
v18)
T_IList_302
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
[Any]
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.C_case_242 Integer
v4 T_Vec_28
v5 T__'8866'__168
v7 T_Cases_162
v8
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 ((Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4)
-> Integer -> T_Vec_28 -> Any
forall a b. a -> b
coe Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v4 T_Vec_28
v5)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2
((T_Cases_162 -> T_Frame_352) -> T_Cases_162 -> Any
forall a b. a -> b
coe T_Cases_162 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_case'45'_428 T_Cases_162
v8))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v7)
MAlonzo.Code.Algorithmic.C_con_248 T__'8866'Nf'8902'__4
v4 Any
v6
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_con_22
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d_subNf'8709'_566
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'9839'_480) (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v4)))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2) ((T__'8866'Nf'8902'__4 -> Any -> T__'8866'__168)
-> T__'8866'Nf'8902'__4 -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> Any -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_con_248 T__'8866'Nf'8902'__4
v4 Any
v6)
(T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'con_162)
MAlonzo.Code.Algorithmic.C_builtin_'47'__254 T_Builtin_2
v5
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((T_Ctx'8902'_2 -> T_Builtin_2 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2 -> T_Builtin_2 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Algorithmic.Signature.d_btype_30
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v5))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v2) ((T_Builtin_2 -> T__'8866'__168) -> T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_builtin_'47'__254 T_Builtin_2
v5)
((T_Builtin_2 -> T_Value_28) -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.d_ival_838 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v5))
T__'8866'__168
MAlonzo.Code.Algorithmic.C_error_258 -> (T__'8866'Nf'8902'__4 -> T_State_34) -> Any -> T_State_34
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> T_State_34
C_'9670'_54 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1)
T__'8866'__168
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
C__'9669'__46 T__'8866'Nf'8902'__4
v1 T_Stack_18
v2 T__'8866'__168
v3 T_Value_28
v4
-> case T_Stack_18 -> T_Stack_18
forall a b. a -> b
coe T_Stack_18
v2 of
T_Stack_18
C_ε_22 -> (T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> T_State_34
forall a b. a -> b
coe T__'8866'__168 -> T_Value_28 -> T_State_34
C_'9633'_50 (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v3) (T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
v4)
C__'44'__30 T__'8866'Nf'8902'__4
v6 T_Stack_18
v8 T_Frame_352
v9
-> case T_Frame_352 -> T_Frame_352
forall a b. a -> b
coe T_Frame_352
v9 of
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183'__358 T__'8866'__168
v12
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 T__'8866'Nf'8902'__4
v14 T__'8866'Nf'8902'__4
v15
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v14)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 T__'8866'Nf'8902'__4
v6 T_Stack_18
v8
((T__'8866'__168 -> T_Value_28 -> T_Frame_352)
-> T__'8866'__168 -> T_Value_28 -> Any
forall a b. a -> b
coe
T__'8866'__168 -> T_Value_28 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C__'183''45'_374 T__'8866'__168
v3
T_Value_28
v4))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v12)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183'v_366 T__'8866'__168
v12 T_Value_28
v13
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 T__'8866'Nf'8902'__4
v15 T__'8866'Nf'8902'__4
v16
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v15)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> T__'8866'Nf'8902'__4 -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30 T__'8866'Nf'8902'__4
v6 T_Stack_18
v8
((T__'8866'__168 -> T_Value_28 -> T_Frame_352)
-> T__'8866'__168 -> T_Value_28 -> Any
forall a b. a -> b
coe
T__'8866'__168 -> T_Value_28 -> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C__'183''45'_374 T__'8866'__168
v3
T_Value_28
v4))
(T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v12) (T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
v13)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C__'183''45'_374 T__'8866'__168
v12 T_Value_28
v13
-> case T_Value_28 -> T_Value_28
forall a b. a -> b
coe T_Value_28
v13 of
T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'ƛ_138
-> case T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v12 of
MAlonzo.Code.Algorithmic.C_ƛ_180 T__'8866'__168
v19
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T_Ctx'8902'_2
-> T_Ctx_2
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'__168
-> T__'8866'__168)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Ctx_2
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'__168
-> T__'8866'__168
MAlonzo.Code.Algorithmic.RenamingSubstitution.d__'91'_'93'_702
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Ctx_2 -> Any
forall a b. a -> b
coe T_Ctx_2
MAlonzo.Code.Algorithmic.C_'8709'_4) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6)
(T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v19) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v3))
T__'8866'__168
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'I'8658'_184 T_Builtin_2
v14 Integer
v17 T__'8724'_'8803'__120
v18 Integer
v19 Integer
v20 T__'8724'_'8803'__120
v21 T_SigTy_260
v22 T_BApp_74
v24
-> case Integer -> Integer
forall a b. a -> b
coe Integer
v20 of
Integer
0 -> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T_Builtin_2
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8724'_'8803'__120
-> T__'8724'_'8803'__120
-> T_BApp_74
-> T__'8866'__168)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Builtin_2
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8724'_'8803'__120
-> T__'8724'_'8803'__120
-> T_BApp_74
-> T__'8866'__168
MAlonzo.Code.Algorithmic.ReductionEC.du_BUILTIN''_326
(T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v14) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6)
((T__'8866'Nf'8902'__4
-> T__'8866'__168 -> T__'8866'__168 -> T__'8866'__168)
-> T__'8866'Nf'8902'__4 -> T__'8866'__168 -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'__168 -> T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C__'183'__186 T__'8866'Nf'8902'__4
v1 T__'8866'__168
v12 T__'8866'__168
v3)
(T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v18) ((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
v21)
((T_BApp_74 -> T_Value_28 -> T_BApp_74)
-> T_BApp_74 -> T_Value_28 -> Any
forall a b. a -> b
coe
T_BApp_74 -> T_Value_28 -> T_BApp_74
MAlonzo.Code.Algorithmic.ReductionEC.C_step_100 T_BApp_74
v24
T_Value_28
v4))
Integer
_ -> let v25 :: Integer
v25 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v20) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
Any -> T_State_34
forall a b. a -> b
coe
((T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T__'8866'Nf'8902'__4
-> T__'8866'__168 -> T__'8866'__168 -> T__'8866'__168)
-> T__'8866'Nf'8902'__4 -> T__'8866'__168 -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'__168 -> T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C__'183'__186 T__'8866'Nf'8902'__4
v1 T__'8866'__168
v12 T__'8866'__168
v3)
((T_Builtin_2
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_SigTy_260
-> T_BApp_74
-> T_Value_28)
-> Any
-> 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_SigTy_260
-> T_BApp_74
-> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.du_V'45'I_818
(T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v14) (Integer -> Any
forall a b. a -> b
coe Integer
v17) (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
v18)
((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
v19)) (Integer -> Any
forall a b. a -> b
coe Integer
v25)
((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
v21) (T_SigTy_260 -> Any
forall a b. a -> b
coe T_SigTy_260
v22)
((T_BApp_74 -> T_Value_28 -> T_BApp_74)
-> T_BApp_74 -> T_Value_28 -> Any
forall a b. a -> b
coe
T_BApp_74 -> T_Value_28 -> T_BApp_74
MAlonzo.Code.Algorithmic.ReductionEC.C_step_100
T_BApp_74
v24 T_Value_28
v4)))
T_Value_28
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_'45''183''8902'_382 T__'8866'Nf'8902'__4
v12
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_Π_14 T_Kind_476
v14 T__'8866'Nf'8902'__4
v15
-> case T_Value_28 -> T_Value_28
forall a b. a -> b
coe T_Value_28
v4 of
T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'Λ_146
-> case T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v3 of
MAlonzo.Code.Algorithmic.C_Λ_192 T__'8866'__168
v21
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40
((T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d__'91'_'93'Nf_236
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v15) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v12))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T_Ctx'8902'_2
-> T_Ctx_2
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'Nf'8902'__4
-> T__'8866'__168)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Ctx_2
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
MAlonzo.Code.Algorithmic.RenamingSubstitution.d__'91'_'93''8902'_740
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Ctx_2 -> Any
forall a b. a -> b
coe T_Ctx_2
MAlonzo.Code.Algorithmic.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v15) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v21) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v12))
T__'8866'__168
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'IΠ_208 T_Builtin_2
v16 Integer
v19 Integer
v20 T__'8724'_'8803'__120
v21 Integer
v22 Integer
v23 T__'8724'_'8803'__120
v24 T_SigTy_260
v25 T_BApp_74
v27
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d__'91'_'93'Nf_236
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v15)
(T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v12))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'Nf'8902'__4
-> T__'8866'__168)
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'Nf'8902'__4
-> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
-> T__'8866'Nf'8902'__4
-> T__'8866'__168
MAlonzo.Code.Algorithmic.C__'183''8902'_'47'__202 T_Kind_476
v14
T__'8866'Nf'8902'__4
v15 T__'8866'__168
v3 T__'8866'Nf'8902'__4
v12)
((T_Builtin_2
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_SigTy_260
-> T_BApp_74
-> T_Value_28)
-> Any
-> 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_SigTy_260
-> T_BApp_74
-> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.du_V'45'I_818
(T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v16) ((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
v19))
(Integer -> Any
forall a b. a -> b
coe Integer
v20) ((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
v21)
(Integer -> Any
forall a b. a -> b
coe Integer
v22) (Integer -> Any
forall a b. a -> b
coe Integer
v23) (T__'8724'_'8803'__120 -> Any
forall a b. a -> b
coe T__'8724'_'8803'__120
v24)
((T_Ctx'8902'_2
-> T_Kind_476
-> T_SigTy_260
-> T__'8866'Nf'8902'__4
-> T_SigTy_260)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476 -> T_SigTy_260 -> T__'8866'Nf'8902'__4 -> T_SigTy_260
MAlonzo.Code.Algorithmic.Signature.du__'91'_'93'SigTy_150
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_SigTy_260 -> Any
forall a b. a -> b
coe T_SigTy_260
v25) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v12))
((T_SigTy_260 -> T_BApp_74 -> T_BApp_74)
-> T_SigTy_260 -> T_BApp_74 -> Any
forall a b. a -> b
coe
T_SigTy_260 -> T_BApp_74 -> T_BApp_74
MAlonzo.Code.Algorithmic.ReductionEC.C_step'8902'_130
T_SigTy_260
v25 T_BApp_74
v27))
T_Value_28
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_wrap'45'_390
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6 of
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v14 T__'8866'Nf'8902'__4
v15 T__'8866'Nf'8902'__4
v16
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v14 T__'8866'Nf'8902'__4
v15 T__'8866'Nf'8902'__4
v16) (T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T__'8866'__168 -> T__'8866'__168) -> T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_wrap_210 T__'8866'__168
v3)
((T_Value_28 -> T_Value_28) -> T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28 -> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'wrap_156 T_Value_28
v4)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_unwrap'45'_398
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_μ_24 T_Kind_476
v14 T__'8866'Nf'8902'__4
v15 T__'8866'Nf'8902'__4
v16
-> (Any -> Any -> Any) -> Any -> Any -> T_State_34
forall a b. a -> b
coe
Any -> Any -> Any
forall a b. a -> b -> b
seq (T_Value_28 -> Any
forall a b. a -> b
coe T_Value_28
v4)
(case T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v3 of
MAlonzo.Code.Algorithmic.C_wrap_210 T__'8866'__168
v20
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40
((T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866''8902'__20 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866''8902'__20 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.d_nf_258
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> Any -> T__'8866''8902'__20 -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v14
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> Any -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C__'183'__30
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
(T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v15))
((T__'8866''8902'__20 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8866''8902'__20 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_ƛ_28
((T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8866''8902'__20 -> Any -> Any
forall a b. a -> b
coe
T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.C_μ_32 T_Kind_476
v14
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe
T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe
T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe
T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
((T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4)
-> Any
-> Any
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.d_weakenNf_122
(T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4)
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe
T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
(T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v14)
(T_Kind_476 -> Any
forall a b. a -> b
coe
T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
T_Kind_476
v14 T__'8866'Nf'8902'__4
v15))
((T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any -> Any
forall a b. a -> b
coe
T__'8715''8902'__14 -> T__'8866''8902'__20
MAlonzo.Code.Type.C_'96'_22
(T__'8715''8902'__14 -> Any
forall a b. a -> b
coe T__'8715''8902'__14
MAlonzo.Code.Type.C_Z_16)))))
(T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
(T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
MAlonzo.Code.Type.C_'8709'_4) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v14)
(T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v16))))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8) (T__'8866'__168 -> Any
forall a b. a -> b
coe T__'8866'__168
v20)
T__'8866'__168
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_constr'45'_420 T_Bwd_6
v11 [T__'8866'Nf'8902'__4]
v13 T_Fin_10
v14 [T__'8866'Nf'8902'__4]
v16 T__'8803'_'60''62''62'__684
v18 T_IBwd_396
v19 T_IIBwd_832
v20 T_IList_302
v21
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6 of
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v23 T_Vec_28
v24
-> let v25 :: t
v25
= (T_Vec_28 -> T_Fin_10 -> Any) -> Any -> Any -> t
forall a b. a -> b
coe
T_Vec_28 -> T_Fin_10 -> Any
MAlonzo.Code.Data.Vec.Base.du_lookup_82 (T_Vec_28 -> Any
forall a b. a -> b
coe T_Vec_28
v24)
(T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10
v14) in
Any -> T_State_34
forall a b. a -> b
coe
((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
forall a. a
v25)
(case T_IList_302 -> T_IList_302
forall a b. a -> b
coe T_IList_302
v21 of
T_IList_302
MAlonzo.Code.Utils.List.C_'91''93'_308
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_Value_28 -> T_State_34
C__'9669'__46
((Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4)
-> Integer -> T_Vec_28 -> Any
forall a b. a -> b
coe Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v23 T_Vec_28
v24)
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8)
((T_Fin_10
-> [T__'8866'Nf'8902'__4] -> T_IList_302 -> T__'8866'__168)
-> T_Fin_10 -> Any -> Any -> Any
forall a b. a -> b
coe
T_Fin_10 -> [T__'8866'Nf'8902'__4] -> T_IList_302 -> T__'8866'__168
MAlonzo.Code.Algorithmic.C_constr_230 T_Fin_10
v14 Any
forall a. a
v25
((T_Bwd_6 -> T_IBwd_396 -> T_IList_302) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> T_IBwd_396 -> T_IList_302
MAlonzo.Code.Utils.List.du_IBwd2IList_538
((T_Bwd_6 -> [Any] -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> [Any] -> T_Bwd_6
MAlonzo.Code.Utils.List.du__'60''62''60'__54
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
v11)
((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'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1)
([Any] -> Any
forall a b. a -> b
coe
[Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
((T_IBwd_396 -> Any -> T_IBwd_396)
-> T_IBwd_396 -> T__'8866'__168 -> Any
forall a b. a -> b
coe
T_IBwd_396 -> Any -> T_IBwd_396
MAlonzo.Code.Utils.List.C__'58''60'__408 T_IBwd_396
v19
T__'8866'__168
v3)))
((T_Bwd_6 -> T_IBwd_396 -> T_IIBwd_832 -> T_Value_28)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> T_IBwd_396 -> T_IIBwd_832 -> T_Value_28
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'constr_234
((T_Bwd_6 -> [Any] -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> [Any] -> T_Bwd_6
MAlonzo.Code.Utils.List.du__'60''62''60'__54
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
v11)
((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'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1)
([Any] -> Any
forall a b. a -> b
coe
[Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)))
((T_IBwd_396 -> Any -> T_IBwd_396)
-> T_IBwd_396 -> T__'8866'__168 -> Any
forall a b. a -> b
coe
T_IBwd_396 -> Any -> T_IBwd_396
MAlonzo.Code.Utils.List.C__'58''60'__408 T_IBwd_396
v19
T__'8866'__168
v3)
((T_IIBwd_832 -> Any -> T_IIBwd_832)
-> T_IIBwd_832 -> T_Value_28 -> Any
forall a b. a -> b
coe
T_IIBwd_832 -> Any -> T_IIBwd_832
MAlonzo.Code.Utils.List.C__'58''60'__850 T_IIBwd_832
v20
T_Value_28
v4))
MAlonzo.Code.Utils.List.C__'8759'__314 Any
v28 T_IList_302
v29
-> case [T__'8866'Nf'8902'__4] -> [Any]
forall a b. a -> b
coe [T__'8866'Nf'8902'__4]
v13 of
(:) Any
v30 [Any]
v31
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40 (Any -> Any
forall a b. a -> b
coe Any
v30)
((T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18)
-> Any -> T_Stack_18 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T_Frame_352 -> T_Stack_18
C__'44'__30
((Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4)
-> Integer -> T_Vec_28 -> Any
forall a b. a -> b
coe
Integer -> T_Vec_28 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_SOP_28
Integer
v23 T_Vec_28
v24)
T_Stack_18
v8
((T_Bwd_6
-> [T__'8866'Nf'8902'__4]
-> T_Fin_10
-> [T__'8866'Nf'8902'__4]
-> T__'8803'_'60''62''62'__684
-> T_IBwd_396
-> T_IIBwd_832
-> T_IList_302
-> T_Frame_352)
-> Any
-> [Any]
-> T_Fin_10
-> Any
-> Any
-> Any
-> Any
-> T_IList_302
-> Any
forall a b. a -> b
coe
T_Bwd_6
-> [T__'8866'Nf'8902'__4]
-> T_Fin_10
-> [T__'8866'Nf'8902'__4]
-> T__'8803'_'60''62''62'__684
-> T_IBwd_396
-> T_IIBwd_832
-> T_IList_302
-> T_Frame_352
MAlonzo.Code.Algorithmic.ReductionEC.C_constr'45'_420
((T_Bwd_6 -> Any -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> Any -> T_Bwd_6
MAlonzo.Code.Utils.List.C__'58''60'__12
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
v11) (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1))
[Any]
v31 T_Fin_10
v14 Any
forall a. a
v25
((T__'8803'_'60''62''62'__684 -> T__'8803'_'60''62''62'__684)
-> T__'8803'_'60''62''62'__684 -> Any
forall a b. a -> b
coe
T__'8803'_'60''62''62'__684 -> T__'8803'_'60''62''62'__684
MAlonzo.Code.Utils.List.C_bubble_700
T__'8803'_'60''62''62'__684
v18)
((T_IBwd_396 -> Any -> T_IBwd_396)
-> T_IBwd_396 -> T__'8866'__168 -> Any
forall a b. a -> b
coe
T_IBwd_396 -> Any -> T_IBwd_396
MAlonzo.Code.Utils.List.C__'58''60'__408
T_IBwd_396
v19 T__'8866'__168
v3)
((T_IIBwd_832 -> Any -> T_IIBwd_832)
-> T_IIBwd_832 -> T_Value_28 -> Any
forall a b. a -> b
coe
T_IIBwd_832 -> Any -> T_IIBwd_832
MAlonzo.Code.Utils.List.C__'58''60'__850
T_IIBwd_832
v20 T_Value_28
v4)
T_IList_302
v29))
(Any -> Any
forall a b. a -> b
coe Any
v28)
[Any]
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
T_IList_302
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError))
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
MAlonzo.Code.Algorithmic.ReductionEC.C_case'45'_428 T_Cases_162
v13
-> case T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v1 of
MAlonzo.Code.Type.BetaNormal.C_SOP_28 Integer
v15 T_Vec_28
v16
-> case T_Value_28 -> T_Value_28
forall a b. a -> b
coe T_Value_28
v4 of
MAlonzo.Code.Algorithmic.ReductionEC.C_V'45'constr_234 T_Bwd_6
v22 T_IBwd_396
v24 T_IIBwd_832
v25
-> case T__'8866'__168 -> T__'8866'__168
forall a b. a -> b
coe T__'8866'__168
v3 of
MAlonzo.Code.Algorithmic.C_constr_230 T_Fin_10
v29 [T__'8866'Nf'8902'__4]
v31 T_IList_302
v33
-> (T__'8866'Nf'8902'__4
-> T_Stack_18 -> T__'8866'__168 -> T_State_34)
-> Any -> Any -> Any -> T_State_34
forall a b. a -> b
coe
T__'8866'Nf'8902'__4 -> T_Stack_18 -> T__'8866'__168 -> T_State_34
C__'9659'__40
((T__'8866'Nf'8902'__4
-> [T__'8866'Nf'8902'__4] -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4 -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> [T__'8866'Nf'8902'__4] -> T__'8866'Nf'8902'__4
MAlonzo.Code.Algorithmic.du_mkCaseType_146 T__'8866'Nf'8902'__4
v6
((T_Vec_28 -> T_Fin_10 -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Vec_28 -> T_Fin_10 -> Any
MAlonzo.Code.Data.Vec.Base.du_lookup_82
(T_Vec_28 -> Any
forall a b. a -> b
coe T_Vec_28
v16) (T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10
v29)))
((T__'8866'Nf'8902'__4
-> T_Bwd_6
-> T_Stack_18
-> T_IBwd_396
-> T_IIBwd_832
-> T_Stack_18)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T__'8866'Nf'8902'__4
-> T_Bwd_6 -> T_Stack_18 -> T_IBwd_396 -> T_IIBwd_832 -> T_Stack_18
du_pushValueFrames_110 (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v6)
((T_Bwd_6 -> [Any] -> T_Bwd_6) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Bwd_6 -> [Any] -> T_Bwd_6
MAlonzo.Code.Utils.List.du__'60''62''60'__54
(T_Bwd_6 -> Any
forall a b. a -> b
coe T_Bwd_6
MAlonzo.Code.Utils.List.C_'91''93'_10)
((T_Vec_28 -> T_Fin_10 -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
T_Vec_28 -> T_Fin_10 -> Any
MAlonzo.Code.Data.Vec.Base.du_lookup_82
(T_Vec_28 -> Any
forall a b. a -> b
coe T_Vec_28
v16) (T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10
v29)))
(T_Stack_18 -> Any
forall a b. a -> b
coe T_Stack_18
v8) (T_IBwd_396 -> Any
forall a b. a -> b
coe T_IBwd_396
v24) (T_IIBwd_832 -> Any
forall a b. a -> b
coe T_IIBwd_832
v25))
((T_Vec_28 -> T_Fin_10 -> T_Cases_162 -> T__'8866'__168)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
T_Vec_28 -> T_Fin_10 -> T_Cases_162 -> T__'8866'__168
MAlonzo.Code.Algorithmic.du_lookupCase_318
(T_Vec_28 -> Any
forall a b. a -> b
coe T_Vec_28
v16) (T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10
v29) (T_Cases_162 -> Any
forall a b. a -> b
coe T_Cases_162
v13))
T__'8866'__168
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Value_28
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T__'8866'Nf'8902'__4
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Frame_352
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
T_Stack_18
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
C_'9633'_50 T__'8866'__168
v1 T_Value_28
v2 -> T_State_34 -> T_State_34
forall a b. a -> b
coe T_State_34
v0
C_'9670'_54 T__'8866'Nf'8902'__4
v1 -> T_State_34 -> T_State_34
forall a b. a -> b
coe T_State_34
v0
T_State_34
_ -> T_State_34
forall a. a
MAlonzo.RTE.mazUnreachableError
d_stepper_372 ::
Integer ->
MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
T_State_34 ->
MAlonzo.Code.Utils.T_Either_6
MAlonzo.Code.Utils.T_RuntimeError_348 T_State_34
d_stepper_372 :: Integer
-> T__'8866'Nf'8902'__4
-> T_State_34
-> T_Either_6 T_RuntimeError_348 T_State_34
d_stepper_372 Integer
v0 ~T__'8866'Nf'8902'__4
v1 T_State_34
v2 = Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34
du_stepper_372 Integer
v0 T_State_34
v2
du_stepper_372 ::
Integer ->
T_State_34 ->
MAlonzo.Code.Utils.T_Either_6
MAlonzo.Code.Utils.T_RuntimeError_348 T_State_34
du_stepper_372 :: Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34
du_stepper_372 Integer
v0 T_State_34
v1
= case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
Integer
0 -> (Any -> Either Any Any)
-> Any -> T_Either_6 T_RuntimeError_348 T_State_34
forall a b. a -> b
coe
Any -> Either 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)
Integer
_ -> let v2 :: Integer
v2 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v0) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
Any -> T_Either_6 T_RuntimeError_348 T_State_34
forall a b. a -> b
coe
(let v3 :: t
v3 = (T_State_34 -> T_State_34) -> Any -> t
forall a b. a -> b
coe T_State_34 -> T_State_34
du_step_122 (T_State_34 -> Any
forall a b. a -> b
coe T_State_34
v1) in
Any -> Any
forall a b. a -> b
coe
(case Any -> T_State_34
forall a b. a -> b
coe Any
forall a. a
v3 of
C__'9659'__40 T__'8866'Nf'8902'__4
v4 T_Stack_18
v5 T__'8866'__168
v6 -> (Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34)
-> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34
du_stepper_372 (Integer -> Any
forall a b. a -> b
coe Integer
v2) (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
C__'9669'__46 T__'8866'Nf'8902'__4
v4 T_Stack_18
v5 T__'8866'__168
v6 T_Value_28
v7 -> (Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34)
-> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T_State_34 -> T_Either_6 T_RuntimeError_348 T_State_34
du_stepper_372 (Integer -> Any
forall a b. a -> b
coe Integer
v2) (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
C_'9633'_50 T__'8866'__168
v4 T_Value_28
v5 -> (Any -> Either Any Any) -> Any -> Any
forall a b. a -> b
coe Any -> Either Any Any
forall {a} {b}. b -> Either a b
MAlonzo.Code.Utils.C_inj'8322'_14 (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
C_'9670'_54 T__'8866'Nf'8902'__4
v4 -> (Any -> Either Any Any) -> Any -> Any
forall a b. a -> b
coe Any -> Either Any Any
forall {a} {b}. b -> Either a b
MAlonzo.Code.Utils.C_inj'8322'_14 (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
T_State_34
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError))